Add basic Android platform/architecture/ABI types

This in itself doesn't do much yet, but it enables implementing the necessary Android-specific adjustments all over the place.