Crafty 1.4.1

pts/crafty-1.4.1 - 04 March 2018 - Add Windows support.

downloads.xml:

install.sh:

install_windows.sh:

results-definition.xml:

test-definition.xml: