remove old external.js

this is unused and old, and we no longer ship custom minified-only js.
Merge pull request #3861 from minrk/external-js

remove old external.js