pts/crafty-1.4.0 - 07 February 2018 - Updated against Crafty 25.2 upstream, switch to reporting nodes per second.