.emacs for hol light