Module run_xheep_gdbserver_fpga is missing

[luispimo]

In the documentation for the cv32e40pv2fpga example, it is indicated that the following command is required to measure speed:

./benchmark_speed.py --builddir bd-riscv-gcc-speed \
  --target-module=run_xheep_gdbserver_fpga \
  --gdb-command=riscv32-unknown-elf-gdb --gsf=15 --cpu-mhz=15

but the Python module run_xheep_gdbserver_fpga.py is not present in the repository.