Client requests that servers delete a list of files
Merge branch 'master' of https://github.com/peigen831/ChatSockets

Conflicts:
	src/coordinator_version/StandardSubserver.java