Speeding up Debian package builds

[evgeni]

@evgeni

Yepp, that’s 106 minutes saved on every build. Each build takes only ~30 minutes now

And now that we have a new and more powerful build infra (thanks conova!), this is down to ~15 minutes!