Update nitrokey crate to 0.4.0

This change finally updates the version of the nitrokey crate that we
consume to 0.4.0. Along with that we update rand_core, one of its
dependencies, to 0.5.1. Further more we add cfg-if in version 0.1.10 and
getrandom in version 0.1.13, both of which are now new (non-development)
dependencies.

Import subrepo nitrokey/:nitrokey at e81057037e9b4f370b64c0a030a725bc6bdfb870
Import subrepo cfg-if/:cfg-if at 4484a6faf816ff8058088ad857b0c6bb2f4b02b2
Import subrepo getrandom/:getrandom at d661aa7e1b8cc80b47dabe3d2135b3b47d2858af
Import subrepo rand/:rand at d877ed528248b52d947e0484364a4e1ae59ca502

2 files changed, 29 insertions, 3 deletions

diff --git a/rand/utils/ci/miri.sh b/rand/utils/ci/miri.sh
new file mode 100644
index 0000000..209adf2
--- /dev/null
+++ b/rand/utils/ci/miri.sh
@@ -0,0 +1,23 @@
+set -ex
+
+MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
+echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+rustup default "$MIRI_NIGHTLY"
+
+rustup component add miri
+cargo miri setup
+
+cargo miri test --no-default-features -- -- -Zunstable-options --exclude-should-panic
+cargo miri test --features=log -- -- -Zunstable-options --exclude-should-panic
+cargo miri test --manifest-path rand_core/Cargo.toml
+cargo miri test --manifest-path rand_core/Cargo.toml --features=serde1
+cargo miri test --manifest-path rand_core/Cargo.toml --no-default-features
+#cargo miri test --manifest-path rand_distr/Cargo.toml # no unsafe and lots of slow tests
+cargo miri test --manifest-path rand_isaac/Cargo.toml --features=serde1
+cargo miri test --manifest-path rand_pcg/Cargo.toml --features=serde1
+cargo miri test --manifest-path rand_xorshift/Cargo.toml --features=serde1
+cargo miri test --manifest-path rand_xoshiro/Cargo.toml --features=serde1
+cargo miri test --manifest-path rand_chacha/Cargo.toml --no-default-features
+cargo miri test --manifest-path rand_hc/Cargo.toml
+cargo miri test --manifest-path rand_jitter/Cargo.toml
+cargo miri test --manifest-path rand_os/Cargo.toml
diff --git a/rand/utils/ci/script.sh b/rand/utils/ci/script.sh
index e8c1189..852a850 100644
--- a/rand/utils/ci/script.sh
+++ b/rand/utils/ci/script.sh
@@ -3,19 +3,22 @@
 set -ex
 
 main() {
-    cross test --target $TARGET --lib --no-default-features
+    cross test --target $TARGET --tests --no-default-features
   # TODO: add simd_support feature:
-    cross test --target $TARGET --features=serde1,log
+    cross test --target $TARGET --features=log
     cross test --target $TARGET --examples
     cross test --target $TARGET --manifest-path rand_core/Cargo.toml
+    cross test --target $TARGET --manifest-path rand_core/Cargo.toml --features=serde1
     cross test --target $TARGET --manifest-path rand_core/Cargo.toml --no-default-features
+    cross test --target $TARGET --manifest-path rand_distr/Cargo.toml
     cross test --target $TARGET --manifest-path rand_isaac/Cargo.toml --features=serde1
     cross test --target $TARGET --manifest-path rand_pcg/Cargo.toml --features=serde1
     cross test --target $TARGET --manifest-path rand_xorshift/Cargo.toml --features=serde1
-    cross test --target $TARGET --manifest-path rand_xoshiro/Cargo.toml
+    cross test --target $TARGET --manifest-path rand_xoshiro/Cargo.toml --features=serde1
     cross test --target $TARGET --manifest-path rand_chacha/Cargo.toml
     cross test --target $TARGET --manifest-path rand_hc/Cargo.toml
     cross test --target $TARGET --manifest-path rand_os/Cargo.toml
+    cross test --target $TARGET --manifest-path rand_jitter/Cargo.toml
 }
 
 # we don't run the "test phase" when doing deploys