Compile the emacs mode if emacs is available
Install the emacs mode at the right place
Emacs mode: Provide the good module name (why3-mode => why3)