Removed useless files and made the Transform module re-export Data.Vect.Double.Base.
Add first-order-world resolution for deep penetrations.
Remove the dimension parameter for the GJK algorithm.

It is now deduced automatically.
Fix rotations.