Added description for automatic keyword rejection in to-be-processed.txt.
Another update for the [reject] tag.
Added an update to the txt file.
  - fixed the parser now treating reject keywords specially (only for the specified lexical sort)
  - added a check to make sure the users specify the reject properly
  - added a regression test
Remove that one space at the end...
Forgot to remove some testing code.
Merge pull request #490 from kframework/to-be-processed-update

Added description for automatic keyword rejection in to-be-processed.txt.