Add prelude (for emacs) to repositories.pp