update gitignore for devel
fix linting problems with examples