Move JavaScript out of HTML

The scripts for embedding Twitter and Google Analytics are now loaded
from a separate file instead of embedding the JavaScript in the HTML
code.