doc/Contributing.txt: Add note about using GitHub