Changes to make things work better with symbolic variables.
Added test that verifies that the derivative of H minus 2 * the coriolis matrix is skew symmetric if v = qdot.