Refactor all existing Modulo into Remainder, as it is
the correct term in Scala for the operation %.

BigInt now supports `mod` operator, which gets represented
as Modulo in Leon.