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