Use real time rather than working time

Working time for pull requests is really confusing and doesn't map to a
standard view of the world.
Merge pull request #11 from edds/real-time

Use real time rather than working time