make gki_index_scan_filter rep_117 compatible
Merge branch 'master' of github-dornhege:GKIFreiburg/gki_robots