Added tcl2sdc.tcl and use write_tcl instead of write_tcl_sdc