Choose ECLIPSE_INSTALLER based on (OSTYPE,MACHINE)

For the time being the following configurations are supported:
* (GNU/Linux, i686)
* (GNU/Linux, x86_64)

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>