scripts/: add script to fetch external resources on linux