remove time-t-bits from machine definition #116

Job	Run time
ci (tpb, ubuntu-22.04, --pb --threads --enable-libffi, test-some-fast)	29m 59s
ci (a6osx, macos-12)	14m 18s
ci (ta6osx, macos-12)	18m 27s
ci (i3le, ubuntu-22.04)	12m 57s
ci (ti3le, ubuntu-22.04)	15m 36s
ci (a6le, ubuntu-22.04)	8m 52s
ci (ta6le, ubuntu-22.04)	11m 46s
ci (ta6le, ubuntu-22.04, reboot, -m=ta6le --force, re.boot SCHEME="chezscheme", test-some-fast)	8m 17s
ci (i3nt, windows-2022, vs)	11m 43s
ci (ti3nt, windows-2022, vs)	14m 54s
ci (a6nt, windows-2022, vs)	12m 17s
ci (ta6nt, windows-2022, vs)	14m 43s
ci (ta6nt, windows-2022, gcc)	13m 17s
	3h 7m 6s

Provide feedback