Implement the ISA flavour of the GJK algorithm + improve AABB computation for implcit shapes.

Use this when the exact distance is not needed.