open-ocd: remove outdated devel version
open-ocd: hoist option