Migrate server_state.json to new config format.