Fix a bug with disabling flycheck and add a nice way to open a shell