Add an optional condition to timer insertions#35

lm-sousa wants to merge 6 commits intomasterspecs-feup/clava:masterfrom

ConditionalTimerspecs-feup/clava:ConditionalTimerCopy head branch name to clipboard