Update to latest cargo

~~This is a dirty hack because Cargo changed the way it determines the name of the libraries.~~

~~A real fix would be to reorganize the directories in a clear way.~~

~~Travis will probably not pass because the version of cargo on the PPA is not up-to-date.~~

After discussion, working on a better fix