Gazebo Debian packaging following official guidelines