Integrated CBMC into hello_world example.  Had to fix C file with improper method signatures.
Integrated CBMC with verification project, but only works with native target.  Will need to get CoreSec working on native (maybe easy) or get goto-cc working with the sky target compiler (probably hard).