Allow local-config.php to override DB_HOST

We want to be able to use another server for MySQL, e.g. Amazon's Relational Database Service (RDS). To do this, we need to point `DB_HOST` to a server different from `localhost`. This PR allows this constant to be overridden in `local-config.php` just like the other `DB_*` constants are.