gen_pkt: added options for output format, exact output filename, and timings;  updated makefile to include orbtimer for gen_pkt
Merge branch 'master' of github.com:jlothian/INDDGO-survey