release/20.07: Update badger to 37ee16d

[jarifibrahim]

This description was generated using this script:

#!/bin/bash

set -e
GHORG=${GHORG:-dgraph-io}
GHREPO=${GHREPO:-badger}
cat <<EOF
This description was generated using this script:
\`\`\`sh
`cat $0`
\`\`\`
Invoked as:

    `echo GHORG=${GHORG} GHREPO=${GHREPO} $(basename $0) ${@:1}`

EOF
git log --oneline --reverse ${@:1} \
  | sed -E "s/^(\S{7}\s)//g" \
  | sed -E "s/([\s|\(| ])#([0-9]+)/\1${GHORG}\/${GHREPO}#\2/g" \

Invoked as:

GHORG=dgraph-io GHREPO=badger changes.sh 3ffaf3cd1d4a...37ee16d8ad1c

Various bug fixes: Break up list and run DropAll func (dgraph-io/badger#1439) (dgraph-io/badger#1440)

---

This change is 

Docs Preview:

[danielmai]

Reviewed 2 of 2 files at r1.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @manishrjain and @vvbalaji-dgraph)

[martinmr]

Can you also bring in the change to print the keys in the stream writer? To avoid having to do another release.

[jarifibrahim]

@martinmr That change isn't a bug fix and we are merging the only bug fixes in the release branch right now.