Revert "Provide better error message when the generate properties job fails"

This reverts commit 7c88a070e9d5a04ac4daf5df6a6ecc3ed4511194.
#50 - Increase CBMC version