scripts/rename-graphs
2008-02-05 Fix the rename script.
2008-01-28 Improved rename script to handle includes correctly.
2008-01-04 Improved rename script to avoid "undirected digraph".
2007-12-07 Modified rename script (BpGraph instead of Bigraph).
2007-12-04 Bug fixes in the rename script.
2007-12-04 rename graphs script