Added support for proofs and theorems. Also fixed the code for inner document references
Added some extra files
Merge branch 'master' of github.com:KWARC/LaTeXML-Plugin-Doc