XML changes and missing theorem keyword

Hi!

I applied the patch mentioned here https://github.com/tauli/CoqIDE/commit/2e5578c8078c7aa60aee491d037cc6eed1ab3a8c

and then i added proposition as a theorem keyword to the syntax.