implemented use of InvalidProtocolException in frontend and zerver, plus minor fixes here and there
Merge branch 'master' of https://github.com/Gustavxerxes/eda031proj