redis 4.0 GA releaseついに昨日(2017/07/15)に、redis 4.0のstableがリリースされました。今までのredisと何が変わったのか？というのを、軽くまとめた…