Added parsing and visualization using python

Renamed the plugin from "Mizar Proof Checker" to "Mizar Verifiable Docs"

button name: mizf to Compile

clearボタン機能追加，一時ファイル名変更

Initial commit