add migen to hdl-kestrel-repos