Add a top-level Makefile, for convenience.