An open-source bot that only bets "no" on Polymarket is making money