clean up examples for quadrotor mixed-integer sos trajectories