Add "time" property to scheduler

This property returns the executed time for a graph, e.g. the number that is
printed after the scheduler finishes.