server/Editor.js callback for 'get_file' event refactored to make use of Read Stream