Update documentation on installing, and tweak Makefile.dst