Adding related projects to the README
Adding minimal support for Coq