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>
Vagrantfile: A few changes

To make it work in the following configuration:
* OS: MS Windows 7 64-bit
* VirtualBox 4.3.10
* Vagrant 1.5.4

TODO: Split into separate commits with proper documentation.

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Configure with box hashicorp/precise32

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Add workaround for debconf database corruption

It happens sometime when installing lxde dependencies.

See http://forums.debian.net/viewtopic.php?f=10&t=101659

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Configure for box hashicorp/precise64

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Quick fix to enable vbguest on VirtualBox 4.3.10

See https://github.com/mitchellh/vagrant/issues/3341

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Fix spacing
Do not abort provision if apt-get install lxde fails

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>
Configure for box hashicorp/precise32

Rationale: One of my old Linux boxes runs Ubuntu 64-bit
but has no VT-x support, therefore only 32-bit guest OSs
are supported by VirtualBox.

Signed-off-by: Gianpaolo Macario <gianpaolo_macario@mentor.com>