Show a spinner while loading other scripts

Shows the box and an ascii spinner before loading any other scripts
(including jQuery, thus pure javascript is used). Latency in requesting
external scripts is the biggest part of the run time and can be ~1s,
so it is important to show some progress before then.