Build system: Support cobertura and github-pages.