Crafty 1.4.2

pts/crafty-1.4.2 - 07 April 2018 - Update download link for Windows, fix build on FreeBSD/Clang.

downloads.xml

install.sh

install_windows.sh

results-definition.xml

test-definition.xml