Update tools.json

PHPRedMin added