Commit c145e3c3 authored Sep 16, 2018 by Andreas Klöckner

Merge branch 'pybind11' into 'master'

Port to pybind11

See merge request !1