kicking cc3k

swiching to exp notation
swapping to tm_timestamp to avoid TC wrap
Merge #88 r=@jiahuang: kicking cc3k

This PR does 2 things:

* kicks out of a forever loop if we miss an IRQ
* correctly tracks sockets closing