allow to set tool extensions specified by vendor

Change-Id: Ibbdbd539fa23054ac7f4311afa93cc9e18c845b5

Conflicts:
	core/Makefile

Conflicts:
	core/Makefile

Conflicts:
	core/Makefile