A minimalistic application launcher for Linux