Fix DARTTargets
Merge branch 'snopt_option' of github.com:dartsim/dart into snopt_option