added link to GitHub organization and people page

Author: WolframPfeifer

_config.yml

@@ -26,6 +26,11 @@ baseurl: "/website" # the subpath of your site, e.g. /blog
 url: "https://contractlib.github.io" # the base hostname & protocol for your site, e.g. http://example.com
 github_username: Contract-LIB
 
+# external links in the left sidebar
+nav_external_links:
+    - title: Contract-LIB on GitHub
+      url: https://github.com/Contract-LIB/
+
 # Build settings
 #theme: minima
 theme: just-the-docs

index.md

@@ -1,5 +1,6 @@
 ---
 layout: default
+title: Main Page
 ---
 
 # About Contract-LIB

people.md

@@ -0,0 +1,10 @@
+---
+layout: default
+title: People
+---
+
+# People
+
+* [Gidon Ernst](https://www.sosy-lab.org/people/ernst/) (Ludwig-Maximilians-Universität München)
+* [Wolfram Pfeifer](https://formal.kastel.kit.edu/~pfeifer/?lang=en) (Karlsruhe Institute of Technology)
+* [Mattias Ulbrich](https://formal.kastel.kit.edu/~ulbrich/?lang=en) (Karlsruhe Institute of Technology)