Add "shelfbtemp" and "shelfbmassflux" diagnostics to "-ocean th".
Add the -dump option to bedrough_test.
IceModelVec::v -> IceModelVec::m_v
Use IceModelVec::copy_to_vec in more places.
another ref
Use IceModelVec::copy_to_vec() in one more place.
Use "PetscInt" instead of "int" where needed.

Now most of PISM should work with PETSc compiled with
--with-64-bit-indices=1.

At this point the SSAFEM code does *not* work with 64-bit integers.
One more PetscInt.
The last PetscInt (I hope).
Fix a typo, use a *fixed* large negative number.

Now the SSAFEM code seems to work with 64-bit integers.
Merge branch 'dev' into fevor to keep it up to date