bat file to launch redis server and client