implement gettimeofday syscall using vtimer
Merge pull request #16 from OlegHahm/syscall_gettimeofday

implement gettimeofday syscall using vtimer