change time.clock() to time.time() in docmeta.py