Merge pull request #3 from chukong/master

move
add  device.gettime()
add  device.timersub()
Merge pull request #426 from wland/master

add time api