Create CBMC developer guide documentation

Currently this is an outline - over time the various sections should
be filled in. I have moved some of the existing documentation into it
in the appropriate place.

Author: Owen Jones