fix an error in sicm
speed up loading definitions in sicm

by removing interactive definition in tangle part
add subsections in sicm
add a new discovery in symbolic-integration wiki
make those src block language aware