fix a problem with very long run lists
add a python port of DotLock.cc (needs stress testing)
DotLock.py: fix oversight before commit