- Add spider for documentation crawler, which processes user help documentation on test development server. - Add tool script for help documentation checking launching. Fixes #2639