Minor documentation fixups.
Fix proof signatures makefile
Minor usability fixes related to SMT-LIB compliance.
Appease compilers from latest XCode release (v5.1).
Move the translator binary from src/main to examples, no longer built by default.