Python experiments with asyncio, Autobahn|Python and JSON Web Tokens