Rename lab1/trace.h to trace.h