- update pic18_timer lib with the followings
  - able to restart the timer automatically if it is configured
- update AWS to use this pic18_timer feature