Some small changes to GJK
Some more changes to GJK

GJK now works almost perfectly, but there is still one bug that I don't
know how to fix; when collidiong from certain angles it seems that the
support function returns the wrong point...