Latest version of Deckard provides script kresd_run.sh which executes
all the tests twice:
- without query name minimization
- with query name minimization

Let's use this for CI!