Add quickcheck stuff to Cabal
Break main into main exectuable and quicksort file