• Added console.checkinput() to check whether input is available.
• Changed console.readinput() to accept an optional no_cursor argument to avoid changing cursor visibility or position.
• Fixed #320; resizing the terminal can garble the prompt (bash has the same problem, so Clink now uses custom code to handle resizing the terminal).