Allow specific options to be case sensitive.
Checks for uniqueness have to take into account that case insensitive options
must not have a sensitive match.
When searching for an option, use a case sensitive search first. When no match
found, try the case insensitive search.
Original issue reported on code.google.com by
michael.praschlon 21 Mar 2013 at 8:14