Better auto-refresh behaviour

- uses long polling to refresh the browser when the source file is modified
- avoids looping issues by keeping only one request open at a time
- restores ability to pass multiple file arguments to restview