Keystore Connector
initial commit, shell model verifier
verifier for shell and modified shell model
keystore connector: get all certs from keystore
moved to package with correct name
Merge branch 'verification'
added import for bouncycastle provider