fsharp/fsharpbinding — pull request #871 by 7sharp9 (2014-12-10 18:01:28+00:00)
Title: Fix for sketches script usage in checker options

Reduced blocking timeouts in the UI to 250ms and full block to 5000ms.

Fix for nested lambda tooltips not showing if they were generic
functions.

Refactored some common symbol parsing code so it can be reused rather
than copied.