The CC3000 driver is actually built into the firmware (it's part of the binary, not a JS file).
I'm afraid you're out of luck unless you compile your own version of the firmware with it in...
@Gordon started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
The CC3000 driver is actually built into the firmware (it's part of the binary, not a JS file).
I'm afraid you're out of luck unless you compile your own version of the firmware with it in...