Comment 8 for bug 1090272

Changed dolfin::DolfinIndex - > dolfin::la_index

dolfin::index seemed to common, especially since we use

   using namespace dolfin;

in (almost) all .cpp files.