.gitignore dafny compile files