Update smoltcp to 0.13.

[reitermarkus]

Also update to heapless 0.9, which deprecates Queue for not being truly lock-free, which I don't think is a problem for how it is used here.

[jordens]

Thanks!

[jordens]

It didn't come up.

+ probe-rs download --chip STM32F407ZGTx --log-file /dev/null --probe 0483:3754:003C002F5632500A20313236 target/thumbv7em-none-eabihf/release/booster
     Finished in 92.62s
+ probe-rs reset --chip STM32F407ZGTx --log-file /dev/null --probe 0483:3754:003C002F5632500A20313236 --connect-under-reset
 WARN probe_rs::architecture::arm::core::armv7m: Core is running, but we expected it to be halted
+ sleep 30
+ ping -c 5 -w 20 booster-hitl

##[debug]PING booster-hitl.ber.quartiq.de (10.34.16.33) 56(84) bytes of data.
##[debug]
##[debug]--- booster-hitl.ber.quartiq.de ping statistics ---
##[debug]20 packets transmitted, 0 received, 100% packet loss, time 19435ms'
##[debug]Finishing: Execute Testing