Introduce, expose, and hash a solver version number

[sdboyer]

trafficstars

The solver probably to be given a version number, and have it incremented whenever the solving algorithm changes in such a way that solving has a different answer set, given the same inputs.

This number must then be exposed via an addition to Lock, and incorporated in hashing.

[fabulous-gopher]

This issue was moved to golang/dep#421