delete the previously added html files

- these files will be handle in gh-pages branch
added docs/html/ to ignore list

- this docs/html/ will be handle in gh-pages, on master branch it will
be an empty folder

- removed index.html to have an empty folder

Signed-off-by: Nicholas Tan Jerome <nicholas.jerome@kit.edu>