Faster and more realistic Provisioner int tests

Provisioner leader shutdown was taking a long time --
Reworked use of conditions in each leader thread.

Also switched to proper AMQP messaging, with sysname.