git-ignore more files (created by calling ghc directly)
Merge branch 'usable-rules' of github.com:apunktbau/co4 into usable-rules
repair printing of marked symbols
linear interpretations for non-unary (issue #71)
add CPF output for linear interpretations for labelled syms (issue #71)
ignore
show parameters for semantic labelling in log output
use parallel processing