Adds svg (a subset of XML) to allowed extensions

The HTML formatter works quite well with SVG files.