Overleaf with redis and mongodb included