Reorganized our includes.

Removed a lot of obsolete include files, and inlined them
where it made sense. The most important change is making
download-box.txt a 'parameterized' include. See usage in
each download page.