admb examples makefile
makefile to compare timings and results