remove maxisat, rename varnish-staging