Use BUILD_ROBOTICS option to build full dart suite

If BUILD_ROBOTICS is false, then only build dart_core. This
reduces the number of dependencies.
Merge branch 'master' of github.com:dartsim/dart into fix_pthread