Add some variation to minefill levels

Randomize the number of objects and monsters a little bit,
they're still roughly the same as before.

dat/minefill.lua

@@ -20,27 +20,28 @@ des.level_init({ style="mines", fg=".", bg=" ", smoothed=true, joined=true, wall
 des.stair("up")
 des.stair("down")
 --
+for i = 1,math.random(2, 5) do
    des.object("*")
-des.object("*")
-des.object("*")
+end
 des.object("(")
+for i = 1,math.random(2, 4) do
    des.object()
-des.object()
-des.object()
+end
+if percent(75) then
+   for i = 1,math.random(1, 2) do
+      des.object("boulder")
+   end
+end
 --
+for i = 1,math.random(6, 8) do
    des.monster("gnome")
-des.monster("gnome")
-des.monster("gnome")
-des.monster("gnome")
-des.monster("gnome")
-des.monster("gnome")
-des.monster("gnome")
+end
 des.monster("gnome lord")
 des.monster("dwarf")
 des.monster("dwarf")
 des.monster("G")
 des.monster("G")
-des.monster("h")
+des.monster(percent(50) and "h" or "G")
 --
 des.trap()
 des.trap()

doc/fixes3-7-0.txt

@@ -1104,6 +1104,7 @@ give gremlin the property it stole, if possible
 very rarely random items are generated eroded, erodeproof, or greased
 Nazgul can see invisible
 fix a case where punished iron ball yanked hero on top of a monster
+slightly randomize amount of items and monsters in the mines
 
 
 Fixes to 3.7.0-x Problems that Were Exposed Via git Repository