language-twelf package

Twelf language support for Atom. This is just a port of the Twelf TextMate bundle by Tiark Rompf.