two new functions added to Mizar mode for Emacs

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

I recently added a function for displaying all reservations before some
point in an article (quite useful when you look at an abstract and try to
guess the types in a theorem you want to use), and a function for
displaying all theorems in a current article (good when the article gets
long and you want to find quickly what you already did).
They are accessible from menu or as C-c C-r and C-c C-z respectively.
The MIZTAGS command was changed a little for schemes. 
The updated mizar.el is at
http://kti.ms.mff.cuni.cz/~urban/miz6.0.07/mizar.el

Josef Urban