Add proposition as a theorem beginning
Patch to adhere to the newest xml api

see http://coq.inria.fr/distrib/V8.4pl3/CHANGES
Merge pull request #1 from blacksails/master

XML changes and missing theorem keyword