libccd: collision detection between convex shapes

This is used by the dartsim and gazebo robotic simulators for
collision checking.

Closes #811.