Ignore *.html files in src/main/resources/Documentation

Thereby it gets easier to develop documentation as we can now run
asciidoc without ending up in a dirty tree.

Change-Id: I4a1abaf76fa66382b26156cf2a180151b1ac840f
diff --git a/src/main/resources/Documentation/.gitignore b/src/main/resources/Documentation/.gitignore
new file mode 100644
index 0000000..2d19fc7
--- /dev/null
+++ b/src/main/resources/Documentation/.gitignore
@@ -0,0 +1 @@
+*.html