smaller git-ignore

Conflicts:
	.gitignore
new builders shell scripts
review of the manpage output-formater
force cherry-picking of #75ce621