Generate segments and use-segments from channel information, as well as channel initialization code in 'main'
merge from adanis channels branch
Replace old libsk with code from Galois' libsk
add libskc library to sk-config