Update boogie and remove getdown

Boogie update now restricts pull to only the specific set branch