org.eclipse.mylyn.github github-parent 3.0.0.201305080800-m7 4.0.0 org.eclipse.mylyn.github.core eclipse-plugin Eclipse EGit Mylyn GitHub Core