Updating README wrt coq-club and ftp.
time tac