add racketm mode
update coq local var, not so important, since these are usually custom set per directory
hack to run a command on each save of a file