More fixes for Python3
More Python3 fixes.
  -- Also added dolfin.__pythonversion__ so one can check dynamically what python version the
     extension modules was compiled with. It is not used for anything yet.