file library for python and