fix warning and fix support for pybind 3.0.2#338

sjunges merged 3 commits into

stormchecker:masterstormchecker/stormpy:masterfrom

sjunges:build_proceduresjunges/stormpy:build_procedureCopy head branch name to clipboard