fix the .dir-locals.el file, part 2 (oops)

... so that it sets coq-prog-name just locally in the current buffer.
Otherwise its value can spoil coq projects in other buffers visiting
files in other directories that must be used with another version of
coqtop.