Compressing of HTML inside PHP