An Hotspot Auto-connect script for Gnome-Shell and NetworkManager in Python