Re-enable progress bars even if satellite is installed.

There's 3 main reasons:

* VSCode shows both left and right bars (similarly, one for the current
  visible lines, one for the whole buffer)
* I haven't yet gotten a chance to send a PR to satellite to enable
  always showing it (right now for files with fewer lines than the
  buffer length it will not automatically show up, leading to no
  progress info unless you have a forked copy of satellite which always
  enables it)
* it's useful to see the progress info for lines on screen in even more
  detail, and satellite will show it smaller if the buffer is large

lua/lean/init.lua

@@ -11,7 +11,6 @@
 
 ---@tag lean.nvim
 
-local has_satellite = require 'lean.satellite'
 local util = require 'lean._util'
 
 local lean = {
@@ -110,8 +109,7 @@ function lean.setup(opts)
   end
 
   opts.progress_bars = opts.progress_bars or {}
-  -- FIXME: Maybe someone eventually cares about enabling both.
-  if not has_satellite and opts.progress_bars.enable ~= false then
+  if opts.progress_bars.enable ~= false then
     require('lean.progress_bars').enable(opts.progress_bars)
   end