Add a script that automatically rebuilds when source files change

This has been in my bash history for a long time, but it's non-obvious
enough that I figured I should publish it.
Rename Publisher to SinglePublisher

This is in preparation for Publisher, Consumer, and FinalConsumer
traits.
auto-rebuild.sh: Add the ability to pass arguments to make
Rename Consumer to SingleConsumer