include Isabelle/Eclipse and CZT base features in the target platform

This will allow to launch the corresponding products without checking out their code
launch configurations for Isabelle and Z/EVES with ProofProcess