Isabelle grammar

Replaces https://github.com/github/linguist/pull/1793