Implement addFile and getFile in the RMI. Fix a bug in NetworkingFile.writeTo