Refine rocket max altitude objective

[markomiz]

Summary

• replace the rocket example's terminal cost with a Mayer objective that maximizes altitude while softly penalizing terminal velocity
• supply analytical stage and terminal cost derivatives for the thrust quadratic and velocity penalty to avoid finite-difference approximations