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