Add remove_every method to Generalization
Implement propositional resolution method
In GUI add resolution button and fix layout
Fix flush error in OutputTextEdit
Update logo
Merge branch 'gui' into dev