Added some old AGDA experimentation
Moved AGDA termination example
Added a silly "pypy vs. ghc" benchmark
Added exercises performed while learning ACL2