Regulateurshuis voormalige gasfabriek