removing fsharp mode (defective on submodule initialization), adding flymake mode, updating install scripts not to need sudo rights