Add dump.rdb to gitignore.
Merge branch 'henryleu'