Implemented saving and loading of cbmc analysis results
Merge remote-tracking branch 'origin/master'