[Termtools] complexity scoring (with upper and lower bounds)

[Johannes Waldmann]

Dear all,

I was working on this week's programming assignment,
http://cbr.uibk.ac.at/competition/rules.php#Scoring

currently it looks like this, please check
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/48

relevant source code:
https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Processing.hs#L80
https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Model/Complexity2015.hs#L84

- Johannes.

PS: I assume we should not be worried about TCT3 input mismatches
because the issue is known (re-ordering of rules) and being worked on?