HistoryManager.cs: use a more efficient Stream read.
Thanks to Licho!
Tested it and it indeed is a slight (a tiny bit) faster.