Bump sequel from 5.83.1 to 5.85.0 in /dhcp-service/metrics

Bump sequel from 5.83.1 to 5.85.0 in /dhcp-service/metrics #254