License and headers that conform to Emacs standards