Added export with style feature, which allows for optional syntax highlighting in exported HTML files
Merge pull request #209 from kkleidal/master

Export HTML with Style