PHP classes for working with files and the file system