Fix SpikeMonitor's update of the total per-neuron spike count in C++ standalone