Add Git revision/remote + repo manifest info from headers

This makes it easier to trace back a set of extracted headers
to given AOSP/CM revisions (including possible local changes).
extract-headers.sh: Helper functions, better output

Useful for diagnostics, and avoids duplication when adding new headers.
Merge pull request #161 from thp/extract-headers-improvements

Extract headers improvements