Bump F# to 4.1.25 and remove already merged patches