Make labels an even height

This prevents some of the blurring effects to the label outline
that can be seen when the outline falls over a half-pixel.
pv::DeviceManager now manages opening/closing devices, and notifies pv::SigSession when its device is going to be cleared.