Commit c64b7aaa6ec8ba1c3d7e257a37ee21f982c93086

Edward Thomson 2019-11-23T20:38:30

ci: build our own valgrind The valgrind in the PPA is broken and ignores `--exit-errorcode`. Build and install our own.