Option --auto-reload was removed (and the corresponding feature bound to
--dev), don't document an option which doesn't exist anymore.

closes #10697