Updating ogdf.js from master