dev has unique hostname: new config option

Adds new config option to allow user to specify the hostname separating dev and production hostname.