developer.texi: Suggest a git clone if the patch review process doesnt work out