Publish TeXZilla-min.js on GitHub pages.
Remove experimental support for automatic grouping based on operator priority (takes too much time to compile and does not work in all cases)
Merge branch 'master' into gh-pages
Merge branch 'master' into gh-pages
Update from master.
Merge branch 'master' into gh-pages
update from master.
Merge branch 'master' into gh-pages
Update from master.
Merge branch 'master' into gh-pages
Update from master.
Merge branch 'master' into gh-pages

Conflicts:
	index.html
Merge branch 'master' into gh-pages
Update from master.
Add some itex2MML char commands missing from unicode.xml
Sync with gh-pages