Add patch to increase accuracy in GJK.

This patch is applied by the Makefile after the bullet source archive is
decompressed.