PHP library for generating simple rtf documents