ragel: update URLs

Closes #34534.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>