TriCera version 0.3.1

What's Changed

• Theory of heaps translation contributed by @OskarSoderberg and @woosh in #13
• Fixed -logSimplified and -logSimplifiedSMT options, which weren't working at all.
• New -dumpSimplified option. Dumps clauses in SMT-LIB format after running Eldarica's preprocessors (similar to -dumpClauses which dumps them before any preprocessing).
• Reduced the amount of emitted warning messages for functions without bodies.

Full Changelog: v0.3...v0.3.1