add redis restart button

なんか development 環境で使いたいけど production でないと redis 使えないのでなんかうまくない．とりあえず消える．