Spruced up shell.html

Made a bunch of changes to shell, including a logo, a nicer spinner, and
better colors. Note on the image: I simply inlined the svg logo from
docs/, which made the file significantly longer.