M4RI is a library for fast arithmetic with dense matrices over F2