new URLs for ert.el
the github mirror is gone
the git URLs are faster than the bzr equivalents