launch-hdb now sends bucket_map to servers.
Added stop-hdb script.