Added a configure script to check if QuickCheck is installed.