This handles cross-platform launching and inserts Javascript code to ping the server. When the server no longer receives pings, it shuts down.