Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
Missing a file-level comment (See other header files for an example). Not going to add much detail in this case, but it's nice to be able to scroll through the files in doxygen and see what each one is for.