Select -i386 rather than the -amd64 box

This is until we figure out a clean way for installing 32-bit libraries
required by Sourcery CodeBench installer
Add to .gitignore: tmp/