updated stuff

.gitmodules

hakyll-bootstrap/Makefile

hakyll-bootstrap/cours/prog_seq

hakyll-bootstrap/reveal.js/dist/reveal.esm.js

hakyll-bootstrap/reveal.js/dist/reveal.js

hakyll-bootstrap/reveal.js/plugin/highlight/highlight.esm.js

hakyll-bootstrap/reveal.js/plugin/highlight/highlight.js

hakyll-bootstrap/reveal.js/plugin/markdown/markdown.esm.js

hakyll-bootstrap/reveal.js/plugin/markdown/markdown.js

hakyll-bootstrap/reveal.js/plugin/notes/notes.esm.js

hakyll-bootstrap/reveal.js/plugin/notes/notes.js

hakyll-bootstrap/reveal.js/plugin/search/search.esm.js

hakyll-bootstrap/reveal.js/plugin/search/search.js