I didn't realise about the pin conflicts... I think you'll have to do a custom build (CC3000 isn't enabled for that board by default anyway) - but once you had done that, changing the pins is as easy as changing the header file here:
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.
I didn't realise about the pin conflicts... I think you'll have to do a custom build (CC3000 isn't enabled for that board by default anyway) - but once you had done that, changing the pins is as easy as changing the header file here:
https://github.com/espruino/Espruino/blob/master/libs/network/cc3000/board_spi.h