Set default browser
Use a flymake for python that works with tramp