Use custom HTMLSerializer so I get newlines in generated html. It adds too many newlines to hand-written code, but oh well. Fixes #310.