renames ChoiceLexer to ChoiceBruteForceLexer
adds Encoding.__hash__