Service for pushing file updates over the web in real time