Encode double quote when <var> is given --htmlencode option.

Use case: ability to include strings with double quotes in text form fields:

  <input name=q type=text value="<var --htmlencode $input.q>">