Make WatchlistEditor use arrays of strings, which are far less expensive than Title...

Make WatchlistEditor use arrays of strings, which are far less expensive than Title objects, so Brion can now add 5000 pages to his watchlist without sapping up all his memory. Also, use the current user's preference for raw edit box size, and while we're on the subject, use $wgUser to make the difference explicit.