[client] edit server address of a repo

If the ccnet-server address is changed (either address or
port is changed), on the client side the user should edit the
repo's server address/port accorodingly.