verified TLS implementation in F#/F7

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

Verified TLS in F#, using the refinement types work from MSR Cambridge;
http://mitls.rocq.inria.fr

tech report: http://mitls.rocq.inria.fr/downloads/miTLS-report.pdf

There are a number of caveats regarding performance (e.g. byte arrays are 
represented as functional strings, so performance involves huge amounts of 
copying), but the core work is extremely nice and you can see how to make it 
faster...

-anil