Gravar-mail: Event-driven mathematical framework for noisy integrate-and-fire neuron networks: spike trains statistics via stochastic calculus, network analysis inspired by queuing theory and an event-driven simulator