Added tools/test/skeleton to test gg and gg-deco. Made also small modifications to make_dot (in topology.ml)