configuration for ProofGeneral with a Dune build of UniMath and this satellite

[rmatthes]

I have the same comments as for UniMath/largecatmodules#160.

Analogous to the suggested solution for that issue, the file name below has been suffixed with .txt so as to be acceptable as an attachment to this issue.

.dir-locals.el.txt