I checked out an existing Laravel project, which did not have this script. Even a find / -name 'artisan'
produced no results. The solution turned out to be simple, if a bit weird:
curl -L 'https://raw.githubusercontent.com/laravel/laravel/v4.2.11/artisan' > artisan
You probably want to choose a tagged version that matches your installed version of Laravel.