lobby server: Forced a different session id on every sign in.
lobby server: made terminating the lobby friendlier.
Merge branch 'master' of github.com:frogatto/frogatto