Went over the java doc again.
Added JavaDoc to Parser.java.
More updates to JavaDoc.
Added example to Parser.Function.
Edit JavaDoc in Grammar.java.
Fixed some typos in JavaDoc.
Merge branch 'newparser-2' into newparser-doc1
Merge branch 'newparser-2' of github.com:kframework/k into newparser-doc1

Conflicts:
	src/javasources/KTool/src/org/kframework/parser/concrete2/Parser.java
Merge pull request #361 from kframework/newparser-doc1

Newparser doc1