improved proof design, refactored HashValidator and HashDeductor
added equals to Assumption
improved equals in Assumption
changed equals for ModusPonens
changed equals for Statement
added thread-safety, fixed tests
some cosmetic changes
Merge remote-tracking branch 'origin/master'