Double precision

This pull request enables double-precision and patches the hard-coded tolerances in the Bullet GJK source.