Set of record and playback tools for GPS with GnuRadio