An octagon domain library and solver infrastructure