[polyml] Patch to Socket.sml and a portable asynchronous programming library for SML

QXR0YWNoZWQgaXMgYSBwYXRjaCB0byBtYWtlIFBvbHkvTUwncyBTb2NrZXQuaW9EZXNjIGNvbmZv cm0gdG8gdGhlCkJhc2lzIGxpYnJhcnkgc3BlY2lmaWNhdGlvbgooaHR0cDovL3d3dy5zdGFuZGFy ZG1sLm9yZy9CYXNpcy9zb2NrZXQuaHRtbCNTSUc6U09DS0VULmlvRGVzYzpWQUwpLgoKTk9URTog SSBoYXZlbid0IHRlc3RlZCB0aGlzIHBhdGNoIG90aGVyIHRoYW4gYnkgY29tcGlsaW5nIGEgcHJv Z3JhbQooc21sYm90KSB0aGF0IHVzZXMgc29ja2V0cy4gIFlvdSBjYW4gZmluZCB0aGUgcHJvZ3Jh bSBmcm9tIG1sdG9ubGliOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmlld3N2bi5jZ2kv bWx0b25saWIvdHJ1bmsvY29tL3NzaC9hc3luYy91bnN0YWJsZS9leGFtcGxlL3NtbGJvdC8KClRo ZSBwcm9ncmFtIGlzIGFuIGV4YW1wbGUgb2YgdXNpbmcgYSBwb3J0YWJsZSAoY29tcGlsZXMgbm93 IHdpdGgKTUxLaXQsIE1MdG9uLCBQb2x5L01MLCBhbmQgU01ML05KKSBhc3luY2hyb25vdXMgcHJv Z3JhbW1pbmcgbGlicmFyeQpmb3IgU01MOgoKICBodHRwOi8vbWx0b24ub3JnL2NnaS1iaW4vdmll d3N2bi5jZ2kvKmNoZWNrb3V0Ki9tbHRvbmxpYi90cnVuay9jb20vc3NoL2FzeW5jL3Vuc3RhYmxl L1JFQURNRQogIGh0dHA6Ly9tbHRvbi5vcmcvY2dpLWJpbi92aWV3c3ZuLmNnaS8qY2hlY2tvdXQq L21sdG9ubGliL3RydW5rL2NvbS9zc2gvYXN5bmMvdW5zdGFibGUvcHVibGljL2FzeW5jLnNpZwoK LVZlc2EgS2Fydm9uZW4KLS0tLS0tLS0tLS0tLS0gbmV4dCBwYXJ0IC0tLS0tLS0tLS0tLS0tCkEg bm9uLXRleHQgYXR0YWNobWVudCB3YXMgc2NydWJiZWQuLi4KTmFtZTogc29ja2V0LnBhdGNoClR5 cGU6IHRleHQveC1kaWZmClNpemU6IDE0MDIgYnl0ZXMKRGVzYzogbm90IGF2YWlsYWJsZQpVcmwg OiBodHRwOi8vbGlzdHMuaW5mLmVkLmFjLnVrL21haWxtYW4vcHJpdmF0ZS9wb2x5bWwvYXR0YWNo bWVudHMvMjAwNzExMTQvYjI1ZmI0NzIvc29ja2V0LmJpbgo=