Make distro package building a separate step in the process. It is
logically distinct from Gitian building, and in the past notifying
the PPA builder has often been missed.
Move to after Github release step. Feedback from package builders
indicates they prefer to begin building their packages after the rest
of the release is complete.
Add AUR and Docker image building.