s4-idl: rename s4 server_id.idl to server_id4.idl