.gitignore updated to include libreOffice lock-files
rewrote protocol description
added EBNF definitions for network packets