lint fixes
Merge pull request #13 from jordenh/UserIDAndAlias

User id and alias
Update middleman.py

adding map broadcast fix and zero length message fix
Merge branch 'UserIDAndAlias' of github.com:jordenh/DE2VTT into android-remove-token
add code for removing tokens
changed implementation of tabletop
merge
merged from master
fixed merge