Simplified and HTML lowered statement dumps

Initial import, adaptation, and cleanup of statement simplification, HTML dump. Original code by @zingales. This needs a review.
Wrap the overloads in // @{ and // @} to make doxygen understand they're all one thing