Update CC3K code

* Add new CC3K host driver
* Add modwlan, modselect, modsocket
* Issue #740