explicit iterations (issue #82)
Merge branch 'usable-rules' of https://github.com/apunktbau/co4 into usable-rules
fix termcomp2014
fix verbose output
call SL with increasing bitwidth
show usability info
Merge branch 'usable-rules' of github.com:apunktbau/co4 into usable-rules

Conflicts:
	tc/CO4/Test/TermComp2014/Run.hs