Delete phphtmllib.

It is not used anymore.