Rename Python library

I was forced to rename the Hy Python library because of a naming conflict, Hyp is the new name.

This pull request renames and fixes the link in the examples page.