tok: handle escaped newlines in // comments

Reported by Yuanhui Zhang <asmwarrior@gmail.com>.