Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503