basic structure to automatically install Proper and to run randomly generated tests. Proper is an open source version of QuickCheck.