Add QuickCheck article
Merge pull request #8 from robertoaloi/eqc-notes

Add QuickCheck article