Crafty 1.3.1

pts/crafty-1.3.1 - 25 August 2016 - Update CFLAGS handling, update download links

downloads.xml:

install.sh:

install_windows.sh:

results-definition.xml:

test-definition.xml: