open-terminal extension for Caja (MATE file manager)