Add line on command line use of HipHop for fetchers, a=chris

diff --git a/en-US/pages/install.thtml b/en-US/pages/install.thtml
index daab407..6ac69d5 100755
--- a/en-US/pages/install.thtml
+++ b/en-US/pages/install.thtml
@@ -634,7 +634,7 @@ the results using HipHop though. For the remainder of this section,
 we describe how to get a Yioop up and running under Ubuntu 12.04 LTS using
 HipHop.
 </p>
-<ul>
+<ol>
 <li>To begin, get HipHop from GitHub. To do this add the hiphop repository
 to the apt-get sources list, add to the file /etc/apt/sources.list the line:
 <pre>
@@ -803,8 +803,15 @@ Type in a name for the crawl and click start crawl.</li>
 crawls list. Set it as the default crawl. You should be
 able to search using this index.
 </li>
-<li>If you prefer to run the </li>
-</ul>
+<li>If you prefer to run the fetcher's and queue_server's from the
+command line make sure to use hhvm rather than php if you want to
+use HipHop. I.e.,
+<pre>
+cd /var/www/yioop/bin
+hhvm -f fetcher.php terminal
+</pre>
+</li>
+</ol>

 <h2 id="multiple">Systems with Multiple Queue Servers</h2>
 <p>