FIXED: Restore stream name/record-position on load_file from a stream.
FIXED: Restore stream name/record-position on load_file from a stream.

Needed for properly restoring e.g. user_input after ?- [user].  Jan Burse.

koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel