Gravar-mail: From Model Specification to Simulation of Biologically Constrained Networks of Spiking Neurons