Bug fix: do not skip square brackets when tokenizing command line.
Bug fix in tokenizer: be more careful when calling `forward-char'!