Updating defects4j to point to github