gitignore: ignore additional eclipse files
html: better links to subsections