AnyOption on GitHub

After almost 10 years, many bug fixes and users around the world, moving AnyOption to GitHub