* fix issue #901 (collision margins initialized to 0) * add a getter for the default collision margin