do not output cji/cjo/jnc if not required
Merge pull request #435 from ggonnella/fix_readjoiner

do not output cji/cjo/jnc if not required
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