New algorthm: holed bucket

Like monotonic bucket, but the lower threshold works as a hole in the bucket: at every grid update, the bucket empties by (lower threshold * time) amount.