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 class? This comment makes no sense, is missing the /file tag, and is full of spelling errors. See other headers for the correct syntax.