Add a file dev_settings.js for overriding the default API host and port.

This file is ignored by git so that you can avoid having this be
overwritten during a merge and also avoid commiting the development
settings accidentally.