Replace quick_sort() that uses quick sort and O(lg n) space

[pintos-anon] / grading / vm / mmap-exit.exp

(mmap-exit) begin
(mmap-exit) run child
(child-mm-wrt) begin
(child-mm-wrt) end
(mmap-exit) child finished
(mmap-exit) end