Add output file options to GFMtoHTML.js.