fix some dependencies
delete unnecessary dependencies
fix README
fix README
dump vars/clauses allocated by allocator
fix profiling (issue #53)
fix issue #55
fix issue #54
Revert "fix issue #55"

This reverts commit bff93eb5a7e3f10f3c2d56e17c5fcbb2406b17e1.
fix builtin naturals with empty flags
fix warnings
fix tests
trivial interpretation for marked symbols (issue #56)
add config
dont warn on unused bindings in termcomp2014
fix handling of >1 precedences
fix allocation of precedence
configurable bitwidth for precedence domain
remove version constraints of dependencies (#issue 60)
introduce GroupedTrs ADT and refactor DPTrs