improve verilig.snippets
improve .gitignore