for sync
Merge branch 'master' of https://github.com/jantje/arduino-eclipse-plugin

Conflicts:
	it.baeyens.arduino.core/src/it/baeyens/arduino/tools/ShouldHaveBeenInCDT.java
Merge remote branch 'upstream/master'
Fixed the indexer bug
Fixed the delete of .hex (didn't delete)
Fixed compilation did not occur.