David's emacs tweaks (#105)
David's emacs tweaks (#105)

* Emacs mode: add the Commentary section

This text shows up in places like a package overview.

* Emacs mode: show the keymap in the mode docstring.

* Emacs mode: fix buffer-local variables

Some buffer-local variables were being mistakenly built with
make-variable-buffer-local instead of make-local-variable.

* Emacs mode: add package headers

This will allow it to be used on Elisp package repositories.

* Emacs mode: use a prettier name for compile buffer

*RedPRL* is prettier than *redprl*

* Emacs mode: fix imenu

The antiquotations were not properly placed to construct the proper
regexps.

* Emacs mode: display revolutionary slogans

When starting redprl-mode, it will optionally display a revolutionary
slogan in the echo area.

* Emacs mode: highlight 'atoms

* Emacs mode: fix autoload cookies

ak3n/redprl,RedPRL/sml-redprl,ak3n/sml-red-jonprl,JonPRL/sml-red-jonprl,jozefg/sml-red-jonprl