Added the Mizar language (ref http://mizar.org/)
[Mizar] removed default case_insensitive: false, and added Mizar code snippet to test.html
Trimmed the mizar snippet
Merge pull request #198 from kelleyvanevert/master

Added Mizar language