Crafty 1.4.0

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

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: