[ocplib] Adding quicksort implementation. All tests pass. Branch is stable.