Python library for decoding the Galileo High Accuracy Service (HAS) - View it on GitHub