Install more stuff

install.py

@@ -27,6 +27,8 @@ dependencies = [
     'acpi',
     'alacritty',
     'bat',
+    'bluez',
+    'bluez-utils',
     'borg',
     'brightnessctl',
     'cargo-watch',
@@ -47,20 +49,26 @@ dependencies = [
     'htop',
     'i3lock',
     'intel-ucode',
+    'lua51',
     'man-db',
     'meson',
     'mgba-sdl',
     'networkmanager',
     'ninja',
+    'okular',
     'openssh',
     'pacman-contrib',
+    'pdfgrep',
     'pulseaudio-alsa',
     'ripgrep',
     'rust-analyzer',
     'rustup',
     'stow',
     'tree',
+    'unzip',
     'valgrind',
+    'wayland-protocols',
+    'wget',
     'wlroots',
     'xclip',
     'xf86-video-intel',
@@ -77,6 +85,7 @@ dependencies_aur = [
     'awesome-git',
     'bash-language-server',
     'direnv',
+    'fstar-bin',
     'neovim-git',
     'plover-git',
     'ttf-go-mono-git',
@@ -85,7 +94,9 @@ dependencies_aur = [
 
 services = [
     'NetworkManager.service',
+    'bluetooth.service',
     'cups.socket',
+    'docker.socket',
     'systemd-timesyncd.service',
 ]