bash - added case insensitive search, filtered command search, and inputrc