Add .cargo/config to .gitignore, move content to ports/android …
This allows using .cargo/config at the root of the repository for local path override, without risk of accidentally committing it.