Add --convert-comments flag to ./build.py

Either always strip comments during building, or convert them into <pre> tags.

Also convert tabs to spaces in build.py
Comment fix was incomplete
This is a lazy fix to avoid troublesome Unicode characters