updated gitignore and Witness version