add --with-docs option for python

This option will install HTML documentation.
python: update 2.7.7_2 bottle.