install redis and stomp php module