New usage to the CBMCSuite Command.
Added .yml files