bullet: add option for double precision

By default, bullet uses single precision floating point
variables. The cmake argument -DUSE_DOUBLE_PRECISION=ON
will enable double precision floating point variables.