Added a CONTRIBUTING file so we can begin outlining requirements and guidelines for contributing to NHol.