Update scala-ide and add 32-bit version

Closes #8000.
Merge pull request #8003 from vitorgalvao/fix-8000

Update scala-ide and add 32-bit version