They didn't tag v4.0 release on github, hence the zip package link is 404.
https://github.com/laravel/laravel/archive/4.0.zip
You can instead fetch master:
https://github.com/laravel/laravel/archive/master.zip