Preliminaries for analysis time measurements
Merge branch 'master' into metrics
Merge branch 'master' into metrics

Conflicts:
	org.spoofax.meta.runtime.libraries/nbl/analysis.str
Merge branch 'master' into metrics
Merge branch 'master' into metrics
Merge branch 'master' into metrics
Merge branch 'master' into metrics
Merge branch 'master' into metrics
Measuring times
More measurements
measure index-setup time
Count tasks instead of mapconcatting them into a list.
Fix bug in task schedling.
Fix error reporting from Choice tasks.
Merge branch 'metrics'