Initial version of installer
CBMC added to the installer
merged
rm