Added pairwise collision checking between rigid bodies using separating axis which returns a Maybe value is nothing if there is no collision, and otherwise returns the penetration depth. TODO: have it also return the point and normal of collision.