Pulsar language package for Oak

A Pulsar (formerly Atom) language package for the Oak proof checker.

Provides syntax highlighting, automatic indentation, and comment toggling.