Version 1.3

Speed up reading an input file.
binaryEditor.next() has been deprecated.