make finite field template depend only on underlying machine integer size

[cr-marcstevens]

Currently for every distinct field we need to compile a distinct binary as the fieldsize is a template parameter.
By making the integer size the template parameter and the fieldsize a runtime parameter, we can support many finite fields with a single binary.