added insertion sort and refactored merge sort#2751

JacquesCarette merged 2 commits intoagda:masteragda/agda-stdlib:masterfrom

onestruggler:insertion_sortonestruggler/agda-stdlib:insertion_sortCopy head branch name to clipboard