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

Hi!

I added Mizar files (.miz and .voc) files to the language list.
Mizar is a language and system for checking mathematical proofs, btw: http://mizar.org/

Cheers!
Kelley