Ogre: remove patch for 1.9 since it has been merged upstream
Gazebo dartsim dependency: use option instead of :optional

It doesn't pass the "core-only" option though.