Add require-checksums install option

Implements #921.

Is there a preference/convention for using if/else or a semicolon as in ```OpamRepository.pull_url```?