download: make installation of L4T binaries optional
download-gcc: only download and install if necessary
download-gcc: also download and install up-to-date pkg-config

The pkg-config binary coming with the gcc toolchain is too old, and we
cannot assume that the system's version will be any newer. Just download
and compile pkg-config ourselves since it is lightweight and
low-dependency anyway.