Adds a with-docs option to python3

This Pull request follows discussion in https://github.com/Homebrew/homebrew/issues/30929