doc install: remove needless "mysql" install

Reported by YOSHIDA Mitsuo. Thanks!!!