Finally, a kind-of-working solution for Quicksort in AutoProof.
A somewhat nicer interface for quicksort.
Renamed a file.