Add the standard elisp header