On branch master
 Changes to be committed:
	modified:   nexpIO.ml
	modified:   nexpIO.mli
    Added function that converts strings to names.