add a makefile, similar to xplico makefile