F# implementation of Secure Remote Password protocol