[Mizar] removed default case_insensitive: false, and added Mizar code snippet to test.html