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 enum needs docs. See other enums in the source (e.g. Target.h) for the correct syntax so that doxygen understands it.