Makefile: making tools, using target default for docs & tools