Merge branch 'debian-release-0.16' into debian-develop
Delete include-binaries

It is not used any more -- each package's instructions make sure that all
files needed are included.
Adapt file names due to package renamings