Remove boost from header files

This way boost-dev is no longer a development dependency of DART.
Merge branch 'master' of github.com:dartsim/dart