Fix file headers and footer for ELPA compatibility

Also adds `autoload` cookie for the minor mode, and clarify the setup instructions accordingly.