Pepc – Power, Energy, and Performance Configurator