BUG: fix broken links, intra anchors, typos (#47)

see below for the motivation of removing html:names 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.