Adding definitions for Ammo.js