[tor-commits] [orbot/master] update gradle props and ignore files we don't want in repo