add python example selector

Author: breandan

index.html

@@ -53,6 +53,7 @@ <h1><img style="display: inline;" src="/pluginIcon.svg" width="26">&nbsp;&nbsp;T
         <option value="examples/arithmetic/checked/arithmetic.tidy">Checked Arithmetic</option>
         <option value="examples/lambda/lambda_app.tidy">Lambda Calculus</option>
         <option value="examples/def_before_use/def_before_use.tidy">Def-Before-Use</option>
+        <option value="python.html">Python</option>
     </select>
   <label>Generation timeout:<input id="timeout" type="number" value="300" min="100" step="100" style="margin-left: 0.4em; margin-right: 0.4em; width: 5em" >ms</label><div style="margin-right: 4em"></div>
   <label for="minimize-checkbox">Minimize repairs&nbsp;</label>