Tool-assisted speedrun of Braid