Additional interactive functions : magma-help-word, magma-show-word
Simplified Makefile
Merge branch 'master' of github.com:ThibautVerron/magma-mode