Show HN: Sun – a Prolog generator for the 2026 solar eclipsegithub.com/bergholt1 pointkasperbergholta month ago