Use provider for setting token format

The other setting triggers a deprecation warning.
Merge pull request #164 from dirkmueller/pki_token

Use provider for setting token format