Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
What is this comment about? We don't do different compile options per-file. (but I think we already use -no-rtti)