Autocompletion with optional case-sensitivity (fix #2)

 - add configuration option for autocompletion case-sensitivity
 - teach filter_function and highlighting about case-sensitivity

Case-insensitive pattern replacement in the highlight logic should be
done with regex in order to be able to reuse the matched substring
easily in the replacement string as a backreference.