Move standard-library metrics script to verify-rust-std repo (#3914)

Added to verify-rust-std in
model-checking/verify-rust-std#261.

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

Author: tautschnig