SBT allowing better Benchmarking

- Options can be pass to ratios.sh to compute three tests:
  - On "Basic" examples
  - On "Typers" only (our main challenge in term of time consumption)
  - On all the Scala library (500+ files)