Merge changes I506872f7,I0afb6513

* changes:
  Improve documentation for the concurrent interpreter
  Fix a flake due to uncertainties in time measurement
tree: 3149373cedb5de129bfddbca0b4826ecfdbb023e
  1. staticlibs/