PHP library for generating html source code