Allow user to disable case-insensitive tab-completion.

  The new variable "ignore_case" can disable/enable tab-completion
 being case insensitive, as per the documentation:

    http://lumail.org/faq/technical/