BUG: fix broken links, intra anchors, typos (#47)
see below for the motivation of removing html:name
s for gitlab.
https://stackoverflow.com/a/15843220/3393574
https://about.gitlab.com/handbook/product/technical-writing/markdown-guide/#anchors
STYLE: use the official names for the external libs, e.g. instead of kahip, using KaHIP.
Edited by Kutalmış Berçin