kvedel/org.bitbucket.agdaeclipse.feature archive