Import bootstrap css & glyphicons.
Use bootstrap css; embed twitter stream.

Remove normalize.css, it is included in bootstrap. Adapt main.css. Add
mailing lists to the front page.
Use bootstrap styles for the downloads page.
Add github ribbon (for even more web-2.0-ness).
Adjust path of antarctica.no mirror.

requested by patrick@