github-parent org.eclipse.mylyn.github 4.2.0.201601211800-r 4.0.0 org.eclipse.mylyn.github.ui eclipse-plugin Eclipse EGit Mylyn GitHub UI