Finishing README
Fixing some mistake
Merge branch 'master' of https://github.com/CosyVerif/deb-base
Editing README
Updated Makefile requirements
Updated Makefile requirements (again)
Added support for custom flags for configure
Updated documentation
Merge branch 'master' of https://github.com/CosyVerif/deb-base
Added support for custom flags for configure
Merge pull request #5 from CosyVerif/master

Merging last updates