Minor doc enhancement: documented setup develop.

Just mentioned the possibility to use develop not to have to reinstall after every change.