Added timer for bests solutions

Makefile

@@ -1,11 +1,15 @@
 SHELL := /bin/bash
-CFLAGS := -w -O3 -pg
-#CFLAGS := -w -g -pg -DDEBUG
+#CFLAGS := -w -O3 -pg -DDEBUG -DDEBUG_BEST
+CFLAGS := -w -O3 -DDEBUG -DDEBUG_BEST
+# specific DEBUG flags:
+#     timer:        -DDEBUG_TIMER
+#     best control: -DDEBUG_BEST
+
 #CFLAGS := -w -g -pg -DDEBUG
 TIME := \time -f "\ttime: %E real, %U user, %S sys\n\tcontext-switch:\t%c+%w, page-faults: %F+%R\n"
 export PATH := .:$(PATH)
 
-TARGETS=lceb tree oper stack eval best
+TARGETS=lceb tree oper stack eval best timer
 INCLUDES=lceb.h
 OBJS=$(TARGETS:=.o)
 
@@ -20,6 +24,8 @@ tree: tree.c
 	$(CC) $(CFLAGS) -DSTANDALONE -o $@ $?
 oper: oper.c
 	$(CC) $(CFLAGS) -DSTANDALONE -o $@ $?
+timer: timer.c
+	$(CC) $(CFLAGS) -DSTANDALONE -o $@ $?
 
 lceb.o tree.o oper.o eval.o stack.o best.o: lceb.h
 tree oper: lceb.h