fix erroneous removal of proof* from experiment/formal/.gitignore, now