Now use .lib.jar files
Merge branch 'master' of github.com:credentials/irma_card_management
idemix_terminal package rename, synced with credentials_api, but there is still some deprecated dummy code