velvet: bugfix: sha1 changed

The file http://www.ebi.ac.uk/~zerbino/velvet/velvet_1.2.08.tgz
was replaced with a different version on the server.