Minor doc enhancement: documented setup develop.
Added link to the setuptools doc and a note on the need to rebuild every time a
compiled extension is modified
Merge pull request #3902 from JeanKossaifi/doc_enhancement

Minor doc enhancement: documented setup develop.