Documentation cleanup

Simon Conseilrequested to merge
doc-cleanup into master

Just a few things while looking at the docs.

  • I think CoreLib/UserLib no more makes sense ?
  • Remove Trac links. TODO: add download link later
  • Avoid duplication between README and index.rst

Merge request reports