Merge branch 'install-pybind11' into 'master'

Preinstall pybind11 for pyopencl

See merge request inducer/grudge!25