Update Android NDK (21 -> 25), workaround Rust bug

[Bromeon]

Newer NDKs don't work out of the box due to a Rust bug (only fixed in nightly).

See rust-lang/rust#85806, bbqsrc/cargo-ndk#22 and workaround c4dt/lightarti-rest#104.

[Bromeon]

bors r+

[bors]

Build succeeded:

• full-ci

[atonamy]

@Bromeon how to use this fix on the client machine?

[Bromeon]

@atonamy Probably update the NDK, too.

This PR only fixed the CI version, to have a reproducible, working build. Typically you can take CI as a start for local builds, too.

[atonamy]

@atonamy Probably update the NDK, too.

This PR only fixed the CI version, to have a reproducible, working build. Typically you can take CI as a start for local builds, too.

Is it possible to update documentation related to this issue? I think current doc is outdated. I spent some time before to figure out how to fix compile error related to NDK 25

[Bromeon]

@atonamy Yes, of course! I currently don't have the Android setup on my machine, so I might not be the best candidate to write the proper documentation.

Would you be willing to open a pull request in the book? 🙂