split src into subdirs for more efficient cabal-build
fix issue #55
fix issue #54
Revert "fix issue #55"

This reverts commit bff93eb5a7e3f10f3c2d56e17c5fcbb2406b17e1.
fix warnings
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
introduce GroupedTrs ADT and refactor DPTrs
check model property while building labeled TRS
this allows to parse .srs as well
allow permuted options (fixes issue 61)
allow bitWidthPrecedenceDomain to be 0 (issue #59)
add brute argument filter (issue #57)
minor renaming
add argument filter on labeled symbols (issue #63)
show config