Simplified the get_user_input() function; now it allows --std-input=s to contain more than one stdin option.