SpikeExplorer: hardware-oriented Design Space Exploration for Spiking Neural Networks on FPGA