Rename tools/postgres-init-db to tools/postgres-init-dev-db.

The previous name was confusing because we also have
scripts/setup/postgres-init-db.

README.md

@@ -193,7 +193,7 @@ pip install -r requirements.txt
 ./scripts/setup/generate_secrets.py -d
 sudo cp ./puppet/zulip/files/postgresql/zulip_english.stop /usr/share/postgresql/9.3/tsearch_data/
 ./scripts/setup/configure-rabbitmq
-./tools/postgres-init-db
+./tools/postgres-init-dev-db
 ./tools/do-destroy-rebuild-database
 ./tools/postgres-init-test-db
 ./tools/do-destroy-rebuild-test-database

provision.py

@@ -175,7 +175,7 @@ def main():
         os.system("sudo service redis-server restart")
         os.system("sudo service memcached restart")
     sh.configure_rabbitmq(**LOUD)
-    sh.postgres_init_db(**LOUD)
+    sh.postgres_init_dev_db(**LOUD)
     sh.do_destroy_rebuild_database(**LOUD)
     sh.postgres_init_test_db(**LOUD)
     sh.do_destroy_rebuild_test_database(**LOUD)

tools/postgres-init-test-db

@@ -1,3 +1,3 @@
 #!/bin/bash -xe
 
-"$(dirname "$0")/postgres-init-db" zulip_test "$("$(dirname "$0")/../bin/get-django-setting" LOCAL_DATABASE_PASSWORD)" zulip_test zulip,public
+"$(dirname "$0")/postgres-init-dev-db" zulip_test "$("$(dirname "$0")/../bin/get-django-setting" LOCAL_DATABASE_PASSWORD)" zulip_test zulip,public