Reorganize Diviner articles into user/ and tech/

Summary: Ref T988. I'm splitting the Phabricator documentation into two separate documentation books, one less technical and one more technical. Move all the `.diviner` article files around into `src/docs/user/` or `src/docs/tech/`, accordingly. The only actual changes here are a couple of config changes in the `.book` files.

Test Plan: Regenerated user and technical documentation and saw stuff in the right places.

Reviewers: btrahan

Reviewed By: btrahan

CC: chad, aran

Maniphest Tasks: T988

Differential Revision: https://secure.phabricator.com/D6822

src/docs/book/phabricator.book

@@ -6,13 +6,15 @@
   "uri.source" :
     "https://secure.phabricator.com/diffusion/P/browse/master/%f$%l",
   "rules" : {
-    "(\\.php$)" : "DivinerPHPAtomizer"
+    "(\\.php$)" : "DivinerPHPAtomizer",
+    "(\\.diviner$)" : "DivinerArticleAtomizer"
   },
   "exclude" : [
     "(^externals/)",
     "(^scripts/)",
     "(^support/)",
-    "(^resources/)"
+    "(^resources/)",
+    "(^src/docs/user/)"
   ],
   "groups" : {
   }

src/docs/book/user.book

@@ -10,8 +10,11 @@
   },
   "exclude" : [
     "(^externals/)",
+    "(^webroot/rsrc/externals/)",
     "(^scripts/)",
-    "(^support/)"
+    "(^support/)",
+    "(^resources/)",
+    "(^src/docs/tech/)"
   ],
   "groups" : {
     "intro" : {

src/docs/user/userguide/arcanist_extending_lint.diviner

@@ -70,14 +70,14 @@ widths on different languages:
 
   $linters = array();
 
-	// Warn on JS/CSS lines longer than 80 columns.
+  // Warn on JS/CSS lines longer than 80 columns.
   $linters['TextLinter80Col'] = id(new ArcanistTextLinter())
-		->setPaths(preg_grep('/\.(js|css)$/', $paths));
+    ->setPaths(preg_grep('/\.(js|css)$/', $paths));
 
-	// Warn on Java lines longer than 120 columns.
+  // Warn on Java lines longer than 120 columns.
   $linters['TextLinter120Col'] = id(new ArcanistTextLinter())
-		->setMaxLineLength(120)
+    ->setMaxLineLength(120)
-		->setPaths(preg_grep('/\.(java)$/', $paths));
+    ->setPaths(preg_grep('/\.(java)$/', $paths));
 
   // ...