TIGER: updated make_injtimes.py with extra options, more flexible