Use seconds for proc.time
Merge pull request #4 from gilles-duboscq/proctime

Use seconds for proc.time