Consistently handle encoding of history files
o Decode all incoming data in the specified encoding (default ascii)
o Convert str/unicode timestamps to str before parsing
o Update README.pdf
o Version 2.5.3