A lightweight application launcher for GNU/Linux