[DOCKER,CI] Add PAPI to docker images#8016

areusch merged 1 commit intoapache:mainapache/tvm:mainfrom

tkonolige:papi_deptkonolige/incubator-tvm:papi_depCopy head branch name to clipboard