Added Mizar (.miz and .voc files) to the list