add --with-docs option for python

This option will install HTML documentation.