Tools for generating 3D maps from GNSS data - View it on GitHub