Cleaned up server.lua.
Fixed two references to players in server_state.lua
Cleaned up/extended the docs.
Added new header.
Cleaned up/extended docs more. Notes on maps, server setup, and win conditions.
Extended notes on maps.
Merge branch 'master' into server