PHP library to parse many different file formats