Commit 243ee6c6338595af2a2365a0bd5109c697f5f8fe

Etienne Samson 2018-04-20T23:11:16

travis: split valgrind check in its own script (cherry picked from commit 74b0a4320726cb557bcf73f47ba25ee10c430066)