Fixed #155: Make header auto-anchors optional. While doing that, also updated marked.js to chjj/marked@613bf6ac63e9a1e4071f4b304050dc084d6b3ccb. Need updated translations for new text.