mod_admin_modules: Add REST API for listing installed modules
mod_admin_modules: Highlight already installed modules

Also fixes the table pagination when the filter input is empty