Restructured the doc directory; added doc/progs; modified some files to add more up-to-date documentation.