Library for collision detection between two convex shapes