Added test-framework

For quickCheck testing I've added test-framework, which should set the
correct exit status, makes the tests and the .cabal file more maintainable.