bubblesort: prove correctness, length & element preservation
Merge pull request #1 from larsrh/topic/bubble

Bubblesort