update timer library in doc/library.txt