dev config modified with new server IPs

Configuration file dev.json modified according the  changes in the DEV environment