remove some dead code discovered while studying PVS-Studio's report

For #192.

* spot/misc/timer.hh, spot/twa/bdddict.cc, spot/twa/bdddict.hh,
spot/twaalgos/sbacc.cc: Here.

spot/misc/timer.hh

@@ -211,13 +211,6 @@ namespace spot
       return i->second.first;
     }
 
-    /// Return the timer \a name.
-    spot::timer&
-    timer(const std::string& name)
-    {
-      return tm[name].first;
-    }
-
     /// \brief Whether there is no timer in the map.
     ///
     /// If empty() return true, then either no timer where ever

spot/twa/bdddict.cc

@@ -149,7 +149,6 @@ namespace spot
         bdd_info& i = bdd_map[num];
         i.type = acc;
         i.f = f;
-        i.clone_counts = 0;
       }
     bdd_map[num].refs.insert(for_me);
     return num;

spot/twa/bdddict.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2012, 2013, 2014, 2015 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2011, 2012, 2013, 2014, 2015, 2016 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2003, 2004, 2006 Laboratoire d'Informatique de Paris
 // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC),
 // Université Pierre et Marie Curie.
@@ -82,7 +82,6 @@ namespace spot
       var_type type;
       formula f;        // Used unless t==anon.
       ref_set refs;
-      int clone_counts;
     };
     typedef std::vector<bdd_info> bdd_info_map;
     // Map BDD variables to their meaning.

spot/twaalgos/sbacc.cc

@@ -102,7 +102,6 @@ namespace spot
               acc = one_in[t.dst];
             if (dst_acc)
               acc |= common_out[t.dst];
-            common_out[t.dst];
             res->new_edge(one.second, new_state(t.dst, acc),
                           t.cond, one.first.second);
           }