Arithmetic over F2M

I've now included basic documentation, benchmarks and some tests. I also squashed all my commits (there was too much experimentation) into a single commit and rebased. The performance is not great but I think it should be enough to start with the arithmetic over elliptic curves.

This closes #3.