Adding Sebastiaan's index.php, which is optimized for search engines.  Also removed a newline from save-fancy.lisp for dumb reasons
Merge branch 'master' of https://github.com/ragerdl/acl2