Michael: added functionality for command line options for random disk
  numbers or to read a file for disk numbers