extracted textual result formatting from PipeExecutionResult

removed createTimedResult
added correct timing measurement via Timed trait
added timeTaken to QueryStatistics
added timeTaken to REST-Results