OCCAM2 mode for GNU emacs