Allow MINIGZIP override for default ramdisk compression tool

The Android build system only supports gzip for ramdisks, despite
the kernel itself supporting other options. Allow per-device
configs to specify their own tool, like so:

MINIGZIP := $(shell which lzma)
MINIGZIP := $(shell which bzip2)
...etc.

Change-Id: I0bc754bd2a73bfb4166228b420c8f013808c82f2
Enhance support for custom compression

Ensure that custom MINIGZIP tool does not cause issues elsewhere
in the build process.

Don't set MINIGZIP variable for ota scripts

Change-Id: I5aedcf3f303dafa63ba8a25ab7383c5186898840