Having a make target that only downloads (and probably unpacks) sources would make caching builds in CI easier. This is probably possible with the current Makefile but I am not familiar enough with makefile syntax