Use relative URL for redirect in index.html (#37) #28

Job	Run time
windows (msvc-14.0, 14,latest, 32,64, windows-2019)	1m 38s
windows (msvc-14.2, 14,17,20,latest, 32,64, windows-2019)	2m 19s
windows (msvc-14.3, 14,17,20,latest, 32,64, windows-2022)	2m 18s
windows (clang-win, 14,17,latest, 32,64, windows-2022)	7m 44s
windows (gcc, 03,11,14,17,2a, 64, windows-2019)	3m 38s
posix (gcc-12, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	4m 56s
posix (gcc-11, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	4m 34s
posix (gcc-10, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefine...	3m 37s
posix (gcc-9, 03,11,14,17,2a, ubuntu-22.04, cxxflags=--coverage -fsanitize=address,leak,undefined...	4m 4s
posix (clang, clang++-14, 03,11,14,17,2a, ubuntu-22.04)	2m 26s
posix (clang, clang++-10, 03,11,14,17,2a, ubuntu-20.04)	2m 29s
finish	2s
	39m 45s

Provide feedback