Provided ExtractTawSolver.

Run "oklib --prebuild" to activate public link.