Before clean up
Middle of refactoring
Readme included
Todo added
getOs renamed to getOS
Refactoring for getOS, tests
Refactoring for getOS, tests
More tests
CBMC detection test
MPS URL test
MPS installer init test