Add a section to the campaigns docs about ignoring repos

Created by: eseliger

@malomarrec suggested adding -repohasfile:.campaignsignore to the query, to be able to disable some repos from campaigns. Until we implement the global version of it, a section in the docs telling about this idea can help customers in the meantime.