Make dependencies more flexible

The user can now write simply the dependency's name, instead of the
dependency's name + "*1".
Add verify option