Show the time spent in the Scala type-checker (Eclipse plugin)