v8.4: Updating README wrt coq-club and ftp.