Double Integrator Time Optimal Problem

See: Getting Started.