Avoid unnecessary copy in count_eloc.cpp

There is a type mismatch here: the maps contain
`std::pair<const irep_idt, T>` (note the const).

This forces the compiler to make copies despite the reference tag. Using auto
instead fixes this instance and generally reduces the potential for making
similar mistakes.

Author: hannes-steffenhagen-diffblue

src/goto-instrument/count_eloc.cpp

@@ -54,8 +54,8 @@ void count_eloc(const goto_modelt &goto_model)
   working_dirst eloc_map;
   collect_eloc(goto_model, eloc_map);
 
-  for(const std::pair<irep_idt, filest> &files : eloc_map)
-    for(const std::pair<irep_idt, linest> &lines : files.second)
+  for(auto const &files : eloc_map)
+    for(auto const &lines : files.second)
       eloc+=lines.second.size();
 
   std::cout << "Effective lines of code: " << eloc << '\n';
@@ -66,8 +66,8 @@ void list_eloc(const goto_modelt &goto_model)
   working_dirst eloc_map;
   collect_eloc(goto_model, eloc_map);
 
-  for(const std::pair<irep_idt, filest> &files : eloc_map)
-    for(const std::pair<irep_idt, linest> &lines : files.second)
+  for(auto const &files : eloc_map)
+    for(auto const &lines : files.second)
     {
       std::string file=id2string(lines.first);
       if(!files.first.empty())