MAINT: don't use github repo for machotools and okonomiyaki anymore.