Python implemention of JSON Web Tokens