Updated documentation
Fixing some mistake
Merge branch 'master' of https://github.com/CosyVerif/deb-base
Corrected tests
Corrected a typo
Corrected path to COPYING or LICENSE file
Corrected tests
Merge pull request #4 from CosyVerif/master

Merging last updates