update Redis Desktop Manager to 0.7.1