Eclipse update site for Frege plugin