Merge pull request #62 from jfehrle/gitter

Add info about gitter.

pages/community.html

@@ -56,8 +56,9 @@
 <div class="frameworkcontent">
 
 <p>
-You can contact directly the Coq developers through the
-<a class="extlink" href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev mailing list</a>.
+You can contact the Coq developers directly through the
+<a class="extlink" href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev mailing list</a>
+or through <a class="extlink" href="https://gitter.im/coq/coq">Coq Gitter chat</a>.
 If you want to report a bug, please consider using
 our <a class="extlink" href="/bugs/">bug tracking system</a>.
 </p>
@@ -68,7 +69,7 @@
 </p>
 
 <p>
-The Coq developers and interested users gather for
+Coq developers and interested users gather for
 <a class="extlink" href="https://coq.inria.fr/cocorico/CoqDevelopment/">Working Groups</a>
 a few times a year.  You are welcome to attend!
 </p>
@@ -77,6 +78,7 @@
 <div class="frameworklinks">
 <ul>
 <li><a href="https://sympa.inria.fr/sympa/info/coqdev">Coqdev</a></li>
+<li><a class="extlink" href="https://gitter.im/coq/coq">Gitter</a></li>
 <li><a class="extlink" href="/bugs/">Bug tracker</a></li>
 <li><a class="extlink" href="https://coq.inria.fr/cocorico/CoqDevelopment/">Working Groups</a></li>
 </ul>