FAQ/README: we are now using Git instead of CVS