'update-external-tags' make target added

It is used to dowload or update the doxygen external tag definition file
of libstdc++. After doing that, any usase of STL will be linked to their
documentations at http://gcc.gnu.org.