Initial Makefile and verify.[ch] checkin.