The eclipse plugin for frege, codename fregIDE