SuperTuxKart 1.4.0

pts/supertuxkart-1.4.0 - 25 November 2017 - Update against SuperTuxKart 0.9.3, changes by matthewtrescott

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: