This is now the development integration branch where we merge stuff for the next release.
Tag as v5.7_devel to get correct version reporting in paparazzi_version