Mina plugin Added

It adds to Tool menu and to command palette some Mina gem commands.