Bryan Parsons - 2014-10-13

It seems that this script did not want to be packaged, my apologies. A new gpstk-2.5.src.tar.gz has been uploaded with the script.