Added incsearch, pandoc and new fsharp plugins