Destroy a contact, unlinking it from both bodies' contact lists. Returns the contact to the free list for reuse.
global contact array
first body in contact
second body in contact
contact to destroy
optional contact listener to notify of removal
Destroy a contact, unlinking it from both bodies' contact lists. Returns the contact to the free list for reuse.