opam-doc-serve.sh: python3 support

SimpleHTTPServer has been merged into http.server in python3. On some systems, e.g. Arch Linux, `python` refers to `python3`.