A Python REST file API