CTAN update: platex-tools