add GraphStream library