Update code lab URL

The code lab has moved (again, and probably not for the last time).