adds PHPTools sublime plugin