Improved the result reporting in engine.py by adding time information
Merge branch 'change-dist-classical' of github.com:gem/oq-engine into change-dist-classical