Add GFMtoHTML.js.