add makefile and ant build file
run make if aig2qbf has not been built