Ignore vaadin preferences in gitignore