Added some test about contact solver and integration

1. Compare naive and (v0 + v1)/2 integration. Bounce test shows that
naive integration leads too much error. Average V integration coped well
with gravity(where acceleration is a constant). Need further test to
figure out if it is well enough for mass-spring model(where acceleration
is a variant)
2. Contact solver cannot erase penetration.