add benchmark results and description update to docs#41

pjhartout merged 3 commits intomasterBorgwardtLab/polygraph-benchmark:masterfrom

benchmarkBorgwardtLab/polygraph-benchmark:benchmarkCopy head branch name to clipboard