Eliminate duplicate flags in the tab completion of ghci's :set command.