What does a license server do phpstorm