sdklib/dvlib: support for new ABIs arm64, x86_64 and mips64

The ABI names can appear in 2 places:
- as ABI names for system-images.
- as the ABI of a device's hardware definition.

They both need to match in order for a system-image
to be considered compatible with a given AVD.

Change-Id: I89c187dd4be41e745b7c75cf948d6f05695f0159
12 files changed