update hdevtools checker
use fsharp-mode package