package.use: add hotprofiler for dev-php/hhvm