Rename CosyVerif as Cosy.
Add PHP Annotations in dependencies.
Start working on Redis backend.
Add User class.