remove duplicated includes

* spot/graph/graph.hh,
spot/taalgos/tgba2ta.cc,
spot/tl/formula.hh,
spot/twaalgos/dot.cc,
spot/twaalgos/ltl2tgba_fm.cc,
spot/twaalgos/ndfs_result.hxx,
spot/twaalgos/powerset.cc,
spot/twaalgos/stutter.cc: Here.

spot/graph/graph.hh

@@ -28,7 +28,6 @@
 #include <algorithm>
 #include <map>
 #include <iostream>
-#include <type_traits>
 
 namespace spot
 {

spot/taalgos/tgba2ta.cc

@@ -29,7 +29,6 @@
 
 #include <spot/twa/formula2bdd.hh>
 #include <cassert>
-#include <iostream>
 #include <spot/twa/bddprint.hh>
 #include <stack>
 #include <spot/taalgos/tgba2ta.hh>

spot/tl/formula.hh

@@ -55,7 +55,6 @@
 #include <sstream>
 #include <list>
 #include <cstddef>
-#include <initializer_list>
 #include <limits>
 
 namespace spot

spot/twaalgos/dot.cc

@@ -29,7 +29,6 @@
 #include <spot/twaalgos/dot.hh>
 #include <spot/twa/bddprint.hh>
 #include <spot/misc/escape.hh>
-#include <spot/twa/twagraph.hh>
 #include <spot/twa/formula2bdd.hh>
 #include <spot/twaalgos/sccinfo.hh>
 #include <spot/kripke/fairkripke.hh>

spot/twaalgos/ltl2tgba_fm.cc

@@ -28,7 +28,6 @@
 #include <spot/tl/print.hh>
 #include <spot/tl/apcollect.hh>
 #include <spot/tl/mark.hh>
-#include <spot/tl/print.hh>
 #include <cassert>
 #include <memory>
 #include <utility>

spot/twaalgos/ndfs_result.hxx

@@ -38,8 +38,6 @@
 #include <spot/twaalgos/emptiness.hh>
 #include <spot/twaalgos/emptiness_stats.hh>
 #include <spot/twaalgos/bfssteps.hh>
-#include <spot/misc/hash.hh>
-
 
 namespace spot
 {

spot/twaalgos/powerset.cc

@@ -26,13 +26,11 @@
 #include <vector>
 #include <spot/twaalgos/powerset.hh>
 #include <spot/misc/hash.hh>
-#include <spot/twaalgos/powerset.hh>
 #include <spot/twaalgos/sccinfo.hh>
 #include <spot/twaalgos/cycles.hh>
 #include <spot/twaalgos/gtec/gtec.hh>
 #include <spot/twaalgos/product.hh>
 #include <spot/twa/bddprint.hh>
-#include <spot/twaalgos/gtec/gtec.hh>
 #include <spot/twaalgos/sccfilter.hh>
 #include <spot/twaalgos/ltl2tgba_fm.hh>
 #include <spot/twaalgos/dualize.hh>

spot/twaalgos/stutter.cc

@@ -32,8 +32,6 @@
 #include <spot/twaalgos/remfin.hh>
 #include <spot/twaalgos/postproc.hh>
 #include <spot/twaalgos/sccinfo.hh>
-#include <spot/twaalgos/postproc.hh>
-#include <spot/twaalgos/dualize.hh>
 #include <spot/twa/twaproduct.hh>
 #include <spot/twa/bddprint.hh>
 #include <deque>