Get an ID token to log in on an Armadillo server
armadillo.get_token(server)
server
the URL of the Armadillo server
The ID token string