Adds a with-docs option to python3
python3: update 3.4.1 bottle.