TextMate syntax highlighting for the Isabelle theorem prover