Ignore Eclipse project files

Prevent accidental leakage of Eclipse metadata file into git,
as already happened with past ARM branch.

Signed-off-by: Luca Bruno <lucab@debian.org>
Synchronize S2E ARM machine configuration

Update arm-s2e-softmmu configuration with latest ARM requirements.

Signed-off-by: Luca Bruno <lucab@debian.org>