added postconditions, corrected error
added heapsort and createheap

Important: Note that isHeap does nothing now
the reason for this: the pre-conditions weren't fulfilled somewhere, so
the assert failed
but the algorithm sorts fine. I will find the error, until then isHeap
will stay at this