docs: Remove JSDuck 4 support

And migrate deprecated "-no_doc" option.

Change-Id: I2e1e89408328c614a89f6c4e408df90d1e346d76
(cherry picked from commit f42cf1f92454cf3504a409da8e81990e6836036f)