filelock.py: timeout can be specified.