Add a .dir-locals.el for dealing with the std lib
Merge pull request #308 from JasonGross/coq-dir-locals

Add a .dir-locals.el for dealing with the std lib