Vagrant files: Miscellaneous bug fixes. bootstrap.sh now only replaces configuration files on its first run, except for pg_hba.conf, which must be replaced every time after the database cluster is dropped and re-created.