feat(algorithms): add stable bubble sort#575

Robertboy18 wants to merge 2 commits into

leanprover:mainleanprover/cslib:mainfrom

Robertboy18:algorithms-bubble-sort-timemRobertboy18/cslib:algorithms-bubble-sort-timemCopy head branch name to clipboard