Git mirror of the official Crocoddyl's repository -- PULL REQUEST MUST BE SENT TO: https://github.com/loco-3d/crocoddyl