A toolkit for retrieving, decoding, converting and processing real-time GNSS data streams Version 2.13