SKIP - A Symbolic Kinematics Inverversion Program