Added high-level specification for server and file system behavior.
Merge pull request #1 from asya-bergal/master

Added high-level specification for server and file system behavior.