Muitas melhoras; em particular, funcionalidades novas de "vou jogar/não vou jogar" e "connected/!connected"

- Removi a funcionalidade de "vou jogar" e "fulano pode ver meu jogo" da
  right sidebar; agora, essa funcionalidade fica no user_menu, acessível
  clicando no user_icon que fica na left sidebar.

- Adicionei sinal cliente->servidor de MARK_AS_PLAYER

- Adicionei sinal servidor->cliente de MARK_AS_PLAYER

- Adicionei vários "TODO"s indicando refactorings que devem ser feitos no
  código do servidor

- Adicionei um método Game.update_juser que facilita a modificação de um juser
  no servidor

- Adicionei loggings nas Connected e Disconnected "Page"s no servidor

- Implementei, no servidor e no cliente, a funcionalidade de "vou jogar/não vou
  jogar". Cada user pode escolher, e os outros users são notificados.

- Implementei, no servidor e no cliente, a funcionalidade de avisar todos os
  users quando alguém vai embora ou volta.

- Melhorei a função mk_span, permitindo a ela receber qualquer coisa que o
  mk_fragment também possa receber (e.g. node, ou array de nodes, ou string)

- Mudei a mensagem do ADD_USER de "vai jogar" para "entrou", porque pode ser que
  o user já tenha se marcado como observer, e saia e volte.

- Acrescentei mensagem explicatória antes de algumas chamadas do
  on_magic_error()

- Melhorei a mensagem de "o GAP não deixa sustentar o canal por mt tempo"

- Removi o "TODO" de "enforce connectedness consistency"