travis: wait before invoking curl to make sure the web server is up