Snippets for acl2 8.6 from Nix x86_64-linux

Sourced from https://hydra.nixos.org/log/5cawbbxq6655bbalp8p0jj66vzk2bv9n-acl2-8.6.drv.