Add libdart, update gazebo, add gazebo-1.9, etc.