Make gcc-torture checkout path a GUI config option