Rename module: `PolynomialBin` -> `F2`
Add binary polynomial division
Fix missing last reduction in F2 modulo
Add F2m polynomial inverse

Removed dummy division