Add new targets: coverage.html, docs, tmp

coverage.html and docs are variants of existing targets. tmp seems to be used for test files in some modules.