Update the URLs in the examples directory to abella-prover.org