Open Porous Media Git 1.3.9

pts/opm-git-1.3.9 - 29 November 2016 - Finish up fixes for recent changes.

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: