Option to enable/disable distribution

Distribution is on by default, but it can now be turned off by using the `--no-distribute` command line switch.

Addresses https://bugs.launchpad.net/openquake/+bug/1097862