Added the 32 bit Linux distribution to the download page.
Authored by: bugman 2008-04-19
Parent: [r5822]
Child: [r5824]
