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.