New UI release (Navi)

• Added support for packet-interval for ping measurements
• Probe API now allows filtering available probes by address family (af)
• Upgrade ripe.atlas.sagan to 1.0.0
• Show total number of probes on available maps
• Fix for case where probes appeared twice in a probe API filter
• Fix for grey markers appearing when filters are enabled on some maps
• Fixed a visualisation bug in the credits history view where not all charts showed up