Pull 5

 - remove makefiles in Foundations and RezkCompletion
 - merge all .gitignore files into one at the top
 - add a .dir-locals.el file to ./Packages/ that will set coq-prog-args appropriately
 - my continued development of Ktheory