Rounding issue in Collision Detection

We discovered a potential bug in the collision detection. In collisionDetection_Impact_implementation.cpp line 122 the norm of a vector is calculated. If the two polygons are very close (i.e. two corners are very close but not equal) the length of this vector is smaller than the epsilon (10^-9) and Norm() throws an error. This happened because the calculation of the bounding boxes of the two agents gave different x,y coordinates due to rounding.