More details in README.md
git: no longer ignore man/ and NAMESPACE - so that we can install with devtools

* devtools install direct from github needs the man/*.Rd and NAMESPACE files
  to be in the repository (which goes against the grain as compiled files, but
  is currently unavoidable).
Add man/ and NAMESPACE for devtools install compatibility