A PHP version manager very much based on nodejs's node version manager