to my surprise, turns out that there's no way to specify a ban mask when banning an IP from in-game. so, this PR adds one, by specifying a / between the address and mask when using banip. for example, to ban 127.0.0.1 with a 24 bit mask, input banip 127.0.0.1/24 into the console.