Added quicksort
Finished porting mergesort
Added basic quickcheck functions
Introduce more finely organized minicourse code base