resource_proof 0.5.0

# Resource Proof - Change Log

## [0.5.0]
- Use rust 1.19 stable / 2017-07-20 nightly
- rustfmt 0.9.0 and clippy-0.0.144
- Replace -Zno-trans with cargo check
- Make appveyor script using fixed version of stable

## [0.4.0]
- Allow trying one step at a time and getting the expected number.