Add command line option for --primary-file

[jrsmith02]

Right now hveto runs in a mode where we give it a start time and a stop time and it looks for triggers for the primary channel in ~detchar/triggers. We (Andy, Josh, Isa, Michelle) would like to have an additional optional command line argument --primary-file that allows reading a text file with GPS frequency SNR in as the primary channel.

Example usage would be:

hveto $gpsstart $gpsstop -i L1 --config-file myconfig.ini --primary-file miriams-blips.txt

where miriams-blips.txt looks like:

1135123217.124 126.8 8.95
1135123224.500 157.2 12.03
...

This would allow us to do such things as run hveto over ONLY the list of triggers that GravitySpy has identified as Koi Fish and ask whether any auxiliary channel triggers are correlated with just those.

[areeda]

This request has been implemented, I believe.