add language grammar for Isabelle theorem prover
Merge branch 'master' into isabelle-grammar

Conflicts:
	grammars.yml
Merge pull request #1800 from github/isabelle-grammar

Isabelle grammar