[B.A.T.M.A.N.] [PATCH] batctl: Rename option_watch_interval to option_timeout_interval