Add reboot pathway to CI #5

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	43m 52s
ci (a6osx, macos-12)	25m 11s
ci (ta6osx, macos-12)	21m 16s
ci (i3le, ubuntu-22.04)	18m 20s
ci (ti3le, ubuntu-22.04)	25m 15s
ci (a6le, ubuntu-22.04)	14m 34s
ci (ta6le, ubuntu-22.04)	18m 17s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	14m 58s
ci (i3nt, windows-2022, vs)	33m 37s
ci (ti3nt, windows-2022, vs)	44m 39s
ci (a6nt, windows-2022, vs)	33m 19s
ci (ta6nt, windows-2022, vs)	44m 7s
ci (ta6nt, windows-2022, gcc)	25m 48s
	6h 3m 13s

Provide feedback