Real-time version of waveloc
Real-time migration code for seismic event location. Unstable development version.