Add Licence Info
merge
instructions for quickcheck
Merge new readme