GNSS receiver written in Python