Fix #412.  Add searches from '*' and '#' to history for command-line
searches.