updated Isabelle/Eclipse references to use released Isabelle2012 version
missing dependency
support JudgementTerm in proof export (hack-ish)
normalised names for feature and repository modules to *.feature and *.repository