Add support for do-while loop

[BenjaminCosman]

See:

https://github.com/UCSD-PL/RefScript/tree/master/tests/todo/do-while.ts