Fixes: #975
If the "Ping details" dialog takes more than ~300ms to load, show an animated progress indicator. Also, move the loading code to a ping_details.js file to reduce code repetition.