Animated spinner while loading the entire page

The idea is to show something (an animated spinner) while the browser is downloading all javascript and css files.

fixes #1451