added spiketimes to debug.py module