updated links to Isabelle/Eclipse and CZT nightly builds
use Tycho 0.17.0