Convert robotpkg binary packages to debian packages
