[Python-ideas] Lock-File class: FileLock