Merge pull request #13 from redblobgames/master

Add LaTeX2HTML5