Port builtins -- implement non-blocking input functionality

[cipriancraciun]

Tasks

• extend read-bytevector and read-string (and related) to accept an extra parameter that specifies the blocking behaviour;