tools: Remove files to be cleaned

manpages are no longer auto-generated
cov-related files should not be there (if needed we could use gitignore)
1 file changed