[debian] update paparazzi-dev