python3-filelock: A platform independent file lock