Selection API extension

This patch allows to specify which separators to use for selection, at runtime.
It also add `charToPanelCoords()`, which is the reverse of `panelToCharCoords()`, to allow some custom drawing if needed.