fix issue #95

Add a command line options specifying the files from which public keys should be read.