Map editor: add buttons to edit or refresh the tileset

Created by: christopho

When a map is open, you often need to edit its tileset. A button "Edit tileset" near the tileset selector would be nice, as well as a button "Refresh tileset".