need to explicitly note emacs-lisp mode since filename is now 'emacs'
add another location to load-path
only load ProofGeneral on archimedes
require magit
minor whitespace cleanup