A python version of FileManager, and a demo of it on tornado