An application launcher for linux