drivers.py -- more complex strategy to establish the run number.
uspec.py -- micro-format change