Gilles Dowek, automated theorem proving pioneer, passed away