v0.4.0

KnuthBendix v0.4.0

Diff since v0.3.1

Closed issues:

• Possible improvements (#19)
• taking rewriting rules seriously (#24)
• major refactor of IndexAutomaton?? (#43)
• automaton corruption during knuthbendix!? (#46)

Merged pull requests:

• Enh/word iter perf (#53) (@kalmarek)
• A brand new implementation of the index automaton (#54) (@kalmarek)
• Mk/completion automaton (#55) (@kalmarek)
• Mk/remake alphabet (#56) (@kalmarek)
• Mk/rebuild idx a (#57) (@kalmarek)
• move Words and Automata to their own modules (#58) (@kalmarek)
• Make IndexAutomaton deterministic (#59) (@kalmarek)
• backtrack (#60) (@kalmarek)
• Mk/orderings anew (#61) (@kalmarek)
• Fixes for Groups.jl next release (#62) (@kalmarek)
• Revert "bump version to 0.5.0" (#64) (@kalmarek)