Add sdformat formula and update gazebo to head of osx_1.9 branch