Move Ubuntu .deb packaging to an Ubuntu machine.
Change some names to be more generic.  Actual machines used are set in 1 place
and otherwise not used.
(cherry picked from commit 9bde88900c021b2fb79bdfe55530439e8933e1f4)