Moved to Python.

Using python3.4 with graph-tool (http://graph-tool.skewed.de).
Main program takes as input a graphml file.