Rubert - The fastest 3x3x3 Rubik's cube solver and timer