Merge pull request #76 from leokraemer/develop

merge develop to dev merge so everyone can use it.
Merge pull request #77 from byebb/develop

Develop branch byebb
merged with FabianVollmer
gir rm -r jgrapht/
merged with upstream