Extract headers improvements

Add additional metadata (Git/repo) from Android sources to make it easier to trace back from where a set of extracted headers comes from.

Also simplify extract-headers.sh so that it prints out which headers are extracted, which is useful in case the script is used in some automated build/deployment scripts (for later checking which files were copied).