minor improvement to mergesort
IOUtil and minor changes
merged origin/master
fixed merge conflict in cmlib.cm
restored option method for findMin in priority queues; namedconsistently with dictionaries