This commit has a working --backed=doc option that generates exatly what --backend=latex would without any rules, unless some rules are specially tagged.
This is what the previous commit was meant to be.
This commit adds a file that is necessary for --backed=doc to work.
First commit ready for presentation
Merge branch 'master' of github.com:kframework/k

Conflicts:
	src/javasources/KTool/src/org/kframework/kompile/KompileOptionsParser.java
Resolve option clash due to merge.