This adds a new option, --distcheck-args, which can be set to
specify the args that will be passed to 'waf configure' when
running 'waf distcheck'. If the option is not set, all arguments
starting with '-' passed to 'waf distcheck' are passed instead.