Bump rupicola from `e4eb40b` to `71a5a07` (#1921) #886

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	37m 27s
install (dev, macOS, macos-latest, 4.14.2)	1h 22m 26s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...	1h 31m 27s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	40m 23s
install (8.19.0, macOS, macos-latest, 4.14.2)	37m 3s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 33m 35s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	42m 23s
install (8.18.0, macOS, macos-latest, 4.14.2)	32m 33s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 38m 29s
	9h 15m 46s

Provide feedback