A Docker image for GNSS-SDR built with PyBOMBS - View it on GitHub