Add DanGrayson/Foundations
Fix branch of coq-8.4-foundations