Remove Ctags (now in Textredux)
Remove theming (now in properties.lua) and update `init.lua`