This changes handling of tabstops on the ruler:
* Tabstops are now updated from the 'tabstoplistupdate'.
* For touch handling we now use Hammer.js so it is easier to handle
with.
* Markers for different types are added as SVG's.
* Rework handling and calculating positions to be much simpler and
logical (no additions of positions, which can cause rounding
errors).
* Use .uno:ChangeTabStop to send tabstop changes.
Change-Id: I966dfa2c17652ab74e3fd8912622cf6c951e514d
Reviewed-on: https://gerrit.libreoffice.org/c/online/+/92142
Tested-by: Jenkins CollaboraOffice <jenkinscollaboraoffice@gmail.com>
Reviewed-by: Tomaž Vajngerl <quikee@gmail.com>
