gitignore: ignoring auto-generated coverage report and documentation
Releasing version 10.0