Moved terminal.js to point to the git repo.