#463, move gh-pages to docs folder

docs/_includes/algolia.html

@@ -0,0 +1,9 @@
+{% if site.algolia.enabled %}
+<script type="text/javascript" src="https://cdn.jsdelivr.net/docsearch.js/1/docsearch.min.js"></script>
+<script type="text/javascript"> docsearch({
+    apiKey: '{{ site.algolia.apiKey }}',
+    indexName: '{{ site.algolia.indexName }}',
+    inputSelector: '#algolia-doc-search'
+});
+</script>
+{% endif %}