Replace regex renderer with antlr renderer.

This removes the existing regex-based renderer entirely, and plugs in
the new ANTLR-based renderer. There are undoubtedly still issues with
the new renderer, but it is complete enough to be used as the main
renderer, facilitating further testing.