Added Vaadin 7.1.9 docset and .gitignore