make dependency on eclipse.core.externaltools optional, to be able to use headless