adds a warning concerning the suitability of this example for JsCoq

slides3.v

+(* Warning: the last lines of this file are unsuitable for use in JsCoq,
+  which does not provide Coquelicot or Interval *)
 Require Import ZArith Lia.
 
 Open Scope Z_scope.