PHPRedMin webinterface

PHPRedMin added to tools.json