Refactoring README
Merging branch graph-width
Version bump