OGRP - The Open Gnss Receiver Protocol