Add Extension Build Integration Doc

Change-Id: I8329d7470016894da7a4c26f2942af6e19727d8d
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1262
Reviewed-by: Till Westmann <tillw@apache.org>
diff --git a/content/pushing.html b/content/pushing.html
index 8f811b7..3937cac 100644
--- a/content/pushing.html
+++ b/content/pushing.html
@@ -70,7 +70,7 @@
                 </ul>
               </li>
               <li class="dropdown">
-                <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false">Contributing <span class="caret"></span></a>
+                <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-expanded="false">Development<span class="caret"></span></a>
                 <ul class="dropdown-menu" role="menu">
                   <li class="dropdown-header">For New Contributors</li>
                   <li><a href="dev-setup.html">Development Setup</a></li>
@@ -78,6 +78,8 @@
                   <li class="dropdown-header">For Committers</li>
                   <li><a href="pushing.html">Pushing changes</a></li>
                   <li><a href="site.html">Editing this site</a></li>
+                  <li class="dropdown-header">Extensions</li>
+                  <li><a href="extension.html">Extending AsterixDB</a></li>
                 </ul>
               </li>
             </ul>