xml_dom.py: Remove extra newlines from single-line strings (bin/map doesn't need to do this itself anymore)