Fix resultfiles patterns such that they can be correctly handled by BenchExec
The previous resultfiles pattern **/witness.{graphml,yml}
does not work with BenchExec.
This MR fixes the pattern.
Related discussion thread: https://gitlab.com/sosy-lab/software/verifiercloud/-/issues/592#note_1646023163
Edited by Po-Chun Chien