Implement TFTP using OxCaml

[kayceesrk]

TFTP is a simple protocol. There's not much complexity in terms of actual networking implementation. There's an implementation already: https://github.com/mor1/ocaml-tftp. Potential improvements

• Use locals to ensure that sockets are well-bracketed.
• Use local allocation where appropriate
• Use unboxed types to implement zero-copy networking?
• Implement a concurrent server? Use portable and contended for DRF? Is there a concurrency library built using effect handlers that we can use for concurrent servers?

Relevant readings

• Oxidising OCaml: https://dl.acm.org/doi/10.1145/3674642
• DRFCaml: https://richarde.dev/papers/2025/drfcaml/drfcaml.pdf
• https://dl.acm.org/doi/abs/10.1145/3720476