Added loadTraceGCF(), print2File(), fix for conflict between  colors and windows console, started on saving trace to tct file