PHP Library for RTF processing