fix issue#95 

make nminit.py take command line options specifying the files from which public keys should be read instead of hardcoding the user keys.