Do not quote options on bash command lines generated by TESTed

[pdawyndt]

Problem: On bash command lines generated by TESTed, all arguments are enclosed between quotes. The latter includes options, which looks a bit weird:

$ omdehoek '-abc' 'DRIEHOEK' 'KEERMUUR' 'NACHTBUS'

Example taken from this assignment.

Suggested solution: See if we can relax that all arguments are quoted in bash command lines generated by TESTed. Especially try to avoid that options are enclosed between quotes.

$ omdehoek -abc 'DRIEHOEK' 'KEERMUUR' 'NACHTBUS'