Updating INSTALL, LICENSE, README, a=chris

diff --git a/README b/README
index 86b13fbd9..376297ef5 100755
--- a/README
+++ b/README
@@ -23,7 +23,7 @@ along with this program.  If not, see <http://www.gnu.org/licenses/>.

 Summary
 -------
-The Yioop search engine consists of four main
+The Yioop search engine consists of five main
 scripts:

 fetcher.php - used to download batches of urls provided
@@ -37,6 +37,9 @@ queue_server.php - maintains a queue of urls that are
 arc_tool.php - an auxiliary script used to view the contents
     of a web or index archive from the command line

+arc_tool.php - an auxiliary script used to query an index
+    from the command line
+
 index.php -- a search engine web page. It is also used
     to handle message passing between the fetchers
     (multiple machines can act as fetchers) and the
@@ -51,17 +54,18 @@ Requirements
 ------------
 The Yioop search engine requires Apache and
 PHP. It was developed under Apache 2.2, PHP 5.3,
-and Mysql 5.1 using a default installation. Mysql
-is not necessary as the default installion uses
-the version of sqlite3 built into PHP.
+and the sqlite3 built into PHP.

 Credits
 ------
-Source code due to Chris Pollett. Several people helped
-with localization: Mary Pollett, Youn Kim, Sugi Widjaja,
-Chao-Hsin Shih, Sujata Dongre, Jonathan Ben-David.
-Thanks to Ravi Dhillon for finding and helping with the
-fixes for Issue 15 and Commit 632e46.
+The source code is mainly due to Chris Pollett.
+Other contributors include: Priya Gangaraju,
+Nakul Natu, Vijaya Pamidi, Vijeth Patil, Tarun
+Pepira. Several people helped with localization:
+My wife, Mary Pollett, Jonathan Ben-David,
+Sujata Dongre, Youn Kim, Chao-Hsin Shih and Sugi Widjaja.
+Thanks to Ravi Dhillon for finding and helping with the fixes for
+Issue 15 and Commit 632e46.

 Installation
 -------------
diff --git a/bin/query_tool.php b/bin/query_tool.php
index 41d5c40ac..041239535 100644
--- a/bin/query_tool.php
+++ b/bin/query_tool.php
@@ -59,8 +59,10 @@ define("NO_CACHE", true);
  */
 if(USE_FILECACHE) {
     $CACHE = new FileCache(WORK_DIRECTORY."/cache/queries");
+    /** @ignore */
     define("USE_CACHE", true);
 } else {
+    /** @ignore */
     define("USE_CACHE", false);
 }
 /** Loads common constants for web crawling*/