Extract headers, continuation

Add a Makefile to install the android headers,
a bit more informative "usage" message,
also removes check_header_exists since it's covered by extract_headers_to anyway.