Tidy-up the CI script.

Work-around the insanity of gitlab's artifact vs. cache and handle our own caching that works with ssh and stays on the host.