derive Eq for a bunch of types

More hspec means more of the types need Eq instance, so derive Eq
for a bunch of JOSE types.
JWS: add "crit" header parameter

Add the "crit" parameter to the JWS Header type and an example in
the test to ensure that it is parsed as expected.
JWS: simplify crit parameter parsing