add missing newline at end of experiment/formal/.gitignore