Hugging Face's $399 Microduck is a tiny open-source robot you can actually train Gagadget.com