User guide

This is the start of a user guide for the CBMC Proof Debugger.