Update scala-ide and add 32-bit version

Closes #8000.