add gt_typecheck_info_register_options_with_default()
use "so" as default typechecker for speck tool
Merge pull request #437 from satta/speck_defaults

use "so" as the default typechecker for speck tool