(Xronos) SystemC, Printing TCL script for VivadoHLS, other small changes