dokazal da insertion sort deluje

Verjetno je nekaj lem odveč, je pa res da je treba še pokazati da ne
spreminja elementov.
Merge branch 'master' of https://github.com/TStepi/coq-sort

Conflicts:
	insertsort.v