A set of scripts for bootstrapping a Raspberry Pi as a GNSS receiver