Update deployment scripts/docs for new dev server names

This is a mostly-mechanical update of our docs and deployment scripts to match the new dev setup.  @chilts r?