CDS/ISIS database reading library written in PHP