generate more nats
allow setting of Ipopt options
set SNOPT constraints state when lagrange multipliers are provided
glider example cleanup
casadi interface now heavily uses unsafePerformIO (as is the long run goal)
use native casadi evaluation by default instead of going through dvda algorithm
snopt version bump
options including -O2 and profiling options