Release fiat-crypto and dependencies

[JasonGross]

For future reference, most of the work was done with this script

pkg="$1"
oldver="$2"
newver="$3"

function usage() {
    printf "USAGE: %s PKG OLDVER NEWVER\n" "$0"
}

if [ -z "$pkg" ] || [ -z "$oldver" ] || [ -z "$newver" ]; then
    usage;
    exit 1;
fi

set -ex

cd "$(git rev-parse --show-toplevel)"
pwd
pushd "released/packages/coq-${pkg}"
oldopam="coq-${pkg}.${oldver}/opam"
newopam="coq-${pkg}.${newver}/opam"
mkdir -p "coq-${pkg}.${newver}"
cp -f "$oldopam" "$newopam"
git add "$newopam"
sed -i "s/${oldver}/${newver}/g" "$newopam"
url="$(grep -o '^\s*src: .*' "$newopam" | grep -o '"[^"]*"' | tr -d '"')"
wget "$url" -O "$newver.tar.gz"
sha512="$(sha512sum "$newver.tar.gz" | cut -d' ' -f1)"
sed -i 's/\(checksum:[^"]*"\)[^"]*\("\)/\1sha512='"${sha512}"'\2/g' "$newopam"
git diff "$newopam"
git add "$newopam"

./release-next.sh coqutil 0.0.3 0.0.4; ./release-next.sh bedrock2 0.0.5 0.0.6; ./release-next.sh bedrock2-compiler 0.0.5 0.0.6; ./release-next.sh rupicola 0.0.7 0.0.8; ./release-next.sh fiat-crypto 0.0.20 0.0.24

[JasonGross]

Standard fiat-crypto timeout, so merging