Deploy the debian package for tcolorbox
The debs now have proper names

aka package_version_architecture.deb