settings: initialize config
settings: initialize config

1) from defaults
2) from file
3) from env (env does not yet take precedence over file)


Former-commit-id: b6a86c398b91fee20664146572d5c60b068258f4
Former-commit-id: f0ddcbb382679bd61bd40ed890166d5cc4a3b0a2 [formerly b2f2c55f2140fac480e34ed0895f5d5a7201c2f1] [formerly f6c29334f5af8b3f8c2477bd1e530cd5bf05ae50 [formerly 494479a57f5e6cf2e2b4b4f714cdf50bc5d42159]]
Former-commit-id: 7fe0023a098270b9d109cdab12c82ab412acb566 [formerly b70150a5d6500f876760d0ca8020781a723b8eb6]
Former-commit-id: 76611242193695d37958eb44979aa58dbba97f91
PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild,PolyJIT/benchbuild