Debian packaging, part II.
        Changes in the set of package-related files. Some were removed, some renamed,
        as we only keep the mariadb-galera-server package.