Merge branch 'd8-0.1' of https://r8.googlesource.com/r8 into d8-0.1