Some additions and fixes on the CONTRIBUTING document