Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
This usage may well want to be stripped out (eventually) to keep the apps clean. I wanted to have an example on a nontrivial piece of real code, though. Perhaps the tutorials are a better place?