scanner.js: Updating scanner function constructor
scanner.js: Added default implementation of setString
scanner.js: Adding default implementation of setEOF method