Gravar-mail: A General and Efficient Method for Incorporating Precise Spike Times in Globally Time-Driven Simulations