Change codezero download location to github

Because the l4dev.org server seems to be unreliable, we obtain the
source code from github.