Merge branch 'jan/add-slepc4py'
Merge branch 'jan/dofmap-size'
Merge branch 'master' into next
Fix ina unit test for Python 3.
Merge branch 'master' into next