updated history.js; made it working under chromium again; export link
fixed link of link
make sure no overflow happens for location2id index
maxEdges to long
measurement: revert git to current state
Merge branch 'findbug'
ups, wrong username
Merge remote-tracking branch 'origin/master'

Conflicts:
	.gitignore