rm obsolete docs from git, since the docs are now on the wiki
correct Makefile fix from commit 038b43024e5dc02b0f0e21a5b3efe0cef839658b
fix 'make dist' after deletion of doc directory
added test case for mu, thanks to Ling Lu