update timer.s usage in doc/examples.txt