Merge "Upgrade to valgrind 3.13.0 (15 June 2017)." am: 84dd75ab14 am: b2c798d6de
am: 523778cf43

Change-Id: I5cbeb07b713386600aef395bb1e16c3235d3b901