A minimal Python implementation of a Persona IdP