Wrap the info bar in a GtkRevealer
    
    This makes the info bar slide up and down as needed. Setting the info
    bar is split up into two steps to handle the case where a new info bar
    may be set while the hide animation for an old info bar is still being
    displayed.