add language grammar for Isabelle theorem prover

This pull requests adds tmbundle for syntax highlighting of theory files of the Isabelle theorem prover.

The language is already recognised by linguist and has a sample file `/samples/Isabelle/HelloWorld.thy`. Used on github for instance in https://github.com/seL4/l4v or https://github.com/seL4/isabelle