Software libraries and models for spiking neural network simulations and for configuring chips and HW experiments