rename repo as wormhole

The repo is mature enough to get its real name and be
exposed to more scrutiny.