Makefile clean
Add an option to enable -bin-annot
Add a .merlin
Merge branch 'master' into non-executable
Add syntax for map.Map.{get,set,const}
Fix Mlw_exec.get_non_exec_logic_idents
Improve the error message in case of a non-executable logical term in programs
Remove an useless case for %old (now ghost)