Commit breaks assumption that PetscReal and real_t are the same
So far we have silently assumed that the two datatype will be identical, more precisely that both are double (I guess). Commit changes the Vector- and SparseMatrixProxy to consistently convert between the two types.