Updated ARM gcc to 4.7.4. Added native 64 bit version for linux (no more ia32-libs needed).

Fixes #1474
Updated ARM gcc for win32 and macos to version 4.7.4
build.xml some properties are now deduced from 'platform' property
Merge branch 'update-arm-gcc' into ide-1.5.x