Create an integer dolfin.la.vector

[nate]

just apply map(int, some_vector) to the vector entries?

If you need a PETSc structure to hold indices then you should probably use IndexSet, not a linear algebra vector.