Minor improvements to quantdsl script (better args, better help message).