Bug#813001: gazebo: switch B-D from libsdformat3-dev to libsdformat4-dev

[Andreas Beckmann]

Source: gazebo
Version: 6.5.0+dfsg-2
Severity: serious
Justification: fails to build from source (but built successfully in the past)

libsdformat renamed its -dev package to libsdformat4-dev (and does not
provide libsdformat-dev).


Andreas