Upgraded timer for supporting multiple timers.

Changed timer's implementation and interface for supporting multiple timers.

Applied new timer interface on guest.c and vdev_timer.c and tests_gic_timer.c.