Updated HISTORY info for release of 0.3.25