Writing Rust code that's faster than state-of-the-art libraries by asking agents to make the code faster