PHP library with various utilities for manipulating XML files, listing XML files in a directory, etc.