Atom language package for Oak

An Atom language package for the Oak proof checker.

Provides syntax highlighting, automatic indentation, and comment toggling.

I think this package is bad news.