configure: remove wokwi suffix from filename

configure.py

diff --git a/configure.py b/configure.py
index 6b63250..17575a6 100755
--- a/configure.py
+++ b/configure.py
@@ -57,7 +57,7 @@
             logging.warning("couldn't download {}".format(url))
             exit(1)
 
-        filename = "user_module_{}.v".format(wokwi_id)
+        filename = "user_module.v"
         with open(os.path.join('verilog/rtl', filename), 'wb') as fh:
             fh.write(r.content)
 

verilog/rtl/user_module.v

diff --git a/verilog/rtl/user_module_334445762078310996.v b/verilog/rtl/user_module.v
similarity index 100%
rename from verilog/rtl/user_module_334445762078310996.v
rename to verilog/rtl/user_module.v