An emacs mode for MiniAgda