PHP CLI tool for managing virtual servers