Open Porous Media Git 1.3.19

pts/opm-git-1.3.19 - 11 May 2018 - Continued tweaking to the test profile.

downloads.xml:

install.sh:

results-definition.xml:

test-definition.xml: