ges-launcher: add ignore EOS option

34 jobs for !249 with dab_ignore_eos in 37 minutes and 54 seconds (queued for 10 seconds)
latest merge request