[graph-tool] Issue importing graph_tool into eclipse PyDev