Added --dump-c, -gcc options, cleanup of command line options and help
Auto-generate command help
-I <cbmc>/util isn't necessary anymore
Fixed missing libraries for dump-c output
Fixed return type of transition functions
Respect --gcc for macro processing, don't use CPP environment variable
Call stack output is re-enabled
Link CBMC's libraries
Refactoring test output code
Use more elaborate slicing only if instrumentation is used
Refactored def-use analysis

- Always analyse first RHS, then LHS
- struct/array+nondet case is already handled
Release 1.5
Scan lex version in a way compatible with OS X 10.8
Changelog entries for 1.5