added a couple of scripts and externals

have allowed externals to be maintained in this git repo, and will just
be refreshed with the fetch_externals script