runtime: correct bugs in open-{input,output}-file, which were not under test.
runtime: introduce r5js.runtime.EOF.
io: tighten return types of r5js.InputPort methods.
io: add r5js.Pipe. Don't wire in yet.
runtime: fix calling convention for varargs primitive procs that need ports.