Massive documentation update; small Makefile changes.