Update microbenchmarks 04/2020#2

stmach wants to merge 1 commit intooprecomp:masteroprecomp/micro-benchmarks:masterfrom

stmach:update-ubenchstmach/micro-benchmarks:update-ubenchCopy head branch name to clipboard