patch against bughelper.main r196: adding --ignore_conflicts cmd-line option to bughelper/bugnumbers, modify given url if necessary.
patch against bughelper.main r196: adding --ignore_conflicts cmd-line option to bughelper/ bugnumbers, modify given url if necessary.