use Server push instead of the refresher addon

fixes #174